The text ea6a75ebb87c, as Debian 3.1 (Sarge) shipped it.
Functions for Manipulating Sets as Ordered Lists
ordsets(3erl) on Linux now
