isabelle: Changelog

mueller [Wed, 31 May 1995 10:45:00 +0200] rev 1138

polish

clasohm [Tue, 30 May 1995 11:57:27 +0200] rev 1137

removed thm_num and thm_db from signature

clasohm [Tue, 30 May 1995 11:28:13 +0200] rev 1136

fixed bug in thms_containing; changed error/warning messages; added thms_resolving_with

clasohm [Tue, 30 May 1995 11:02:50 +0200] rev 1135

fixed bug: ThySynFun really shouldn't be deleted

clasohm [Mon, 29 May 1995 15:04:27 +0200] rev 1134

changed error message in thms_containing

clasohm [Mon, 29 May 1995 14:12:48 +0200] rev 1133

replaced "All" by "all" in ThmdbFUN's ignore parameter

clasohm [Mon, 29 May 1995 13:55:06 +0200] rev 1132

added theorem database which contains axioms and theorems indexed by the constants they contain

nipkow [Sun, 28 May 1995 17:18:06 +0200] rev 1131

Added Church-Rosser

nipkow [Sun, 28 May 1995 17:17:43 +0200] rev 1130

Added trancl_cs

nipkow [Sat, 27 May 1995 16:10:10 +0200] rev 1129

Moved Relation from Integ to main HOL.

isabelle