paulson [Mon, 19 Aug 1996 11:22:16 +0200] rev 1915
Improved the proof of Problem 38
paulson [Mon, 19 Aug 1996 11:20:37 +0200] rev 1914
Added a lot of basic laws, from HOL/simpdata
paulson [Mon, 19 Aug 1996 11:19:55 +0200] rev 1913
Renaming of functions, and tidying
paulson [Mon, 19 Aug 1996 11:19:16 +0200] rev 1912
Now starts with set_current_thy
paulson [Mon, 19 Aug 1996 11:18:36 +0200] rev 1911
Tidied some proofs
paulson [Mon, 19 Aug 1996 11:17:20 +0200] rev 1910
Tidied some proofs, maybe using less_SucE
paulson [Mon, 19 Aug 1996 11:15:44 +0200] rev 1909
Removal of less_SucE as default SE rule
paulson [Mon, 19 Aug 1996 11:12:38 +0200] rev 1908
Renamed setOfList to set_of_list
oheimb [Fri, 16 Aug 1996 11:27:10 +0200] rev 1907
Minor improvements of the scripts
paulson [Mon, 12 Aug 1996 16:28:15 +0200] rev 1906
Improved (?) wording of error message