/load.sml/1.1/Tue Oct 31 15:31:48 1995//THOL97
/cond_rewr.sig/1.2.4.1/Fri Jun 27 16:43:22 1997//THOL97
/cond_rewr.sml/1.2.4.1/Fri Jun 27 16:47:50 1997//THOL97
/loaded.sml/1.1.2.1/Tue Jul  1 23:06:36 1997//THOL97
/res_quanLib.sig/1.1.2.1/Tue Jul  1 23:09:46 1997//THOL97
/res_quanLib.sml/1.1.2.1/Tue Jul  1 23:05:33 1997//THOL97
/res_rules.sig/1.2.4.1/Fri Jun 27 16:49:14 1997//THOL97
/res_rules.sml/1.2.4.1/Tue Jul  1 22:59:57 1997//THOL97
