The text 775e1030d5ec, as Debian 3.1 (Sarge) shipped it.
Functions for Manipulating Sets of Sets
sofs(3erl) on Linux now
