/InsSort.cmlt/1.1/Thu Dec  9 00:12:17 2004//Tdemo-y4
/InsSort.thy/1.4/Sun Dec 12 22:48:31 2004//Tdemo-y4
/InsSortCertificate1.thy/1.3/Sun Dec 12 22:48:31 2004//Tdemo-y4
/InsSortCertificate2.thy/1.1/Thu Dec  9 00:12:17 2004//Tdemo-y4
/InsSortCertificate23.thy/1.2/Sun Dec 12 22:48:31 2004//Tdemo-y4
/InsSortCertificate3.thy/1.2/Sun Dec 12 00:41:58 2004//Tdemo-y4
/InsSortWrap.thy/1.1/Sun Dec 12 22:48:31 2004//Tdemo-y4
/check_it/1.1/Sun Dec 12 00:41:58 2004//Tdemo-y4
D/thy////
