D/Manual////
D/help////
/READ-ME/1.1.1.1/Thu Dec 28 15:15:43 2000//
/tautLib.sml/1.7/Thu Dec 28 15:15:45 2000//
/tautLib.sig/1.4/Fri Mar 16 17:48:12 2001//
