/Debug_TACTIC.thy/1.1.2.2/Fri Jul 22 15:12:48 2005//Tdemo-y4
/HeapSort.cmlt/1.1/Sun Mar 27 21:47:21 2005//Tdemo-y4
/grab_pragmas.sh/1.4/Fri Apr 15 17:23:32 2005//Tdemo-y4
D/fails////
D/lists////
D/snaps////
D/trees////
/Generic_TACTIC.thy/1.1.2.3/Fri Aug  5 20:29:58 2005//Tdemo-y4
/Makefile/1.8.2.6/Mon Aug  8 01:29:17 2005//Tdemo-y4
