/InsSort.cmlt/1.2/Wed Aug  4 14:16:12 2004//Tdemo-y4
/InsSortProg.thy/1.2/Sun Mar 27 21:47:24 2005//Tdemo-y4
/InsSortProof.thy/1.2/Sun Mar 27 21:47:24 2005//Tdemo-y4
/Makefile/1.15/Fri Apr 15 17:00:28 2005//Tdemo-y4
D
