/PairedLambda.sig/1.2/Thu Dec 28 15:14:08 2000//
/pairTools.sig/1.3/Thu Dec 28 15:14:07 2000//
/pairTools.sml/1.3/Thu Dec 28 15:14:07 2000//
/pairSimps.sig/1.4/Mon Feb  5 12:11:05 2001//
/pairLib.sig/1.5/Fri Mar 23 01:43:18 2001//
/pairSimps.sml/1.7/Fri Mar 23 01:45:28 2001//
/pairSyntax.sig/1.7/Fri Jun 15 14:17:33 2001//
/PairedLambda.sml/1.2/Fri Jun 15 13:10:16 2001//
/pairLib.sml/1.8/Fri Jun 15 13:30:16 2001//
/pairSyntax.sml/1.9/Fri Jun 15 14:16:32 2001//
/pairScript.sml/1.26/Wed Jun 20 11:34:21 2001//
D
