/AC.sig/1.2/Thu Dec 28 15:14:59 2000//
/AC.sml/1.4/Thu Dec 28 15:15:00 2000//
/Canon.sig/1.1.1.1/Thu Dec 28 15:15:00 2000//
/Canon.sml/1.7/Thu Dec 28 15:15:00 2000//
/READ-ME/1.1.1.1/Thu Dec 28 15:15:00 2000//
/refuteLib.sig/1.2/Thu Dec 28 15:15:00 2000//
/refuteLib.sml/1.1.1.1/Thu Dec 28 15:15:00 2000//
D
