The text 3f1a869101cf, as Debian 5.0 (Lenny) shipped it.
Functions for Manipulating Sets as Ordered Lists
ordsets(3erl) on Linux now
