D/sorting////
/cond/1.2/Thu Dec 28 15:15:47 2000//
/fusion/1.2/Thu Dec 28 15:15:50 2000//
/iota/1.7/Thu Dec 28 15:15:47 2000//
/it_prim_rec/1.5/Thu Dec 28 15:15:50 2000//
/linRec/1.1/Thu Dec 28 15:15:50 2000//
/mutrec/1.4/Thu Dec 28 15:15:49 2000//
/proplog/1.6/Thu Dec 28 15:15:50 2000//
/scheme.nested/1.1/Thu Dec 28 15:15:50 2000//
/variant/1.8/Thu Dec 28 15:15:47 2000//
/while/1.3/Thu Dec 28 15:15:49 2000//
/ctl/1.2/Mon Feb  5 12:11:27 2001//
/jones/1.3/Wed Feb 28 14:22:04 2001//
/lcf.example/1.3/Wed Feb 28 15:46:35 2001//
/kapur_subra/1.8/Sun Apr 15 15:22:36 2001//
/test.Define/1.11/Wed May  9 03:56:13 2001//
/subst.set/1.1/Wed May  9 00:41:22 2001//
/subst.list/1.2/Mon May 14 13:32:48 2001//
/setlist/1.6/Mon May 14 14:02:34 2001//
/Cbags/1.4/Mon May 14 14:13:49 2001//
/exp/1.10/Mon May 14 14:20:15 2001//
/91/1.15/Mon Jun  4 16:26:02 2001//
