/HeapSort.cmlt/1.1/Wed Oct  6 12:47:47 2004//Tdemo-y4
/HeapSortProg.thy/1.1/Wed Oct  6 12:47:47 2004//Tdemo-y4
/HeapSortProof.thy/1.1/Wed Oct  6 12:47:48 2004//Tdemo-y4
/Makefile/1.3/Mon Oct 11 11:50:59 2004//Tdemo-y4
D
