/Ho_match.sig/1.1.2.1.2.1/Wed Jun 25 18:11:22 1997//THOL97
/Ho_match.sml/1.1.2.2.2.2/Fri Jul 11 19:46:29 1997//THOL97
/Ho_net.sig/1.1.2.1.2.2/Fri Jul 11 19:47:21 1997//THOL97
/Ho_net.sml/1.1.2.1.2.2/Fri Jul 11 19:48:13 1997//THOL97
/Resolve.sig/1.1.2.1.2.1/Tue Jul  1 02:33:00 1997//THOL97
/Rewrite.sig/1.1.2.1.2.1/Wed Jun 25 18:30:59 1997//THOL97
/Rewrite.sml/1.1.2.2.2.2/Fri Jul 11 19:46:33 1997//THOL97
/Theorems.sig/1.1.2.1.2.1/Tue Jul  1 02:02:50 1997//THOL97
/Theorems.sml/1.1.2.1.2.1/Fri Jul 11 19:49:59 1997//THOL97
/ho_matchLib.sml/1.1.2.1/Tue Jul  1 02:34:58 1997//THOL97
/Resolve.sml/1.1.2.1.2.3/Fri Sep 12 00:19:51 1997//THOL97
