/Assn2Thm.sml/1.1/Wed Aug 20 16:33:31 2003//Tdemo-y4
/DT2Pred.sml/1.5/Thu Aug 21 15:32:47 2003//Tdemo-y4
/Main.sml/1.2/Wed Aug 20 16:33:13 2003//Tdemo-y4
/Makefile/1.2/Wed Aug 20 16:33:31 2003//Tdemo-y4
/README/1.2/Thu Aug 21 09:23:32 2003//Tdemo-y4
/Util.sml/1.3/Thu Aug 21 09:13:16 2003//Tdemo-y4
D
