/Makefile/1.13.2.1/Tue Jul 26 15:01:35 2005//Tdemo-y4
/Makefile.setup/1.1.2.3/Sun Jul 31 22:06:05 2005//Tdemo-y4
/README/1.10/Sat Feb 15 15:20:09 2003//Tdemo-y4
D/ARTHUR////
D/BytecodeCounter////
D/BytecodeLogic////
D/Camelot////
D/CoqCoreGrail////
D/Demo////
D/FibHeap////
D/Grail////
D/GrailTHY////
D/LFD_inference////
D/Leda////
D/SepDestr////
D/TestSuite////
D/consumer////
D/galahad////
D/jGrailTHY////
D/misc////
D/mkTheory////
D/others////
D/sml-jvm////
