src/Pure/Thy/thm_database.ML
Fri, 01 Nov 1996 15:41:09 +0100 paulson Replaced "sum" (only usage?) by foldl op+
Fri, 17 May 1996 16:22:23 +0200 nipkow Added missing default clause | top_const _ = None;
Tue, 09 Apr 1996 12:12:27 +0200 berghofe select_match now sorts list of matching theorems according to the
Fri, 15 Mar 1996 12:01:19 +0100 berghofe Added some functions which allow redirection of Isabelle's output
Fri, 16 Feb 1996 18:00:47 +0100 paulson Elimination of fully-functorial style.
Wed, 25 Oct 1995 13:41:45 +0100 clasohm removed "duplicate" warning from store_thm_db;
Fri, 06 Oct 1995 14:43:26 +0100 clasohm changed some comments
Wed, 04 Oct 1995 12:59:52 +0100 clasohm added removal of theorems if theory is to be reloaded; changed functions for
Fri, 01 Sep 1995 14:25:52 +0200 clasohm fixed bug: duplicate "duplicate" warnings
Fri, 01 Sep 1995 13:28:54 +0200 clasohm added cleanup of global simpset to thy_read;
Wed, 30 Aug 1995 14:04:39 +0200 clasohm added check for duplicate theorems in theorem database;
Fri, 18 Aug 1995 12:28:02 +0200 nipkow fixed bug in findI
Mon, 07 Aug 1995 15:23:59 +0200 nipkow Added findI, findEs, and findE.
Thu, 01 Jun 1995 13:25:06 +0200 clasohm commented thms_unifying_with out; placed thm_db into signature again;
Tue, 30 May 1995 11:57:27 +0200 clasohm removed thm_num and thm_db from signature
Tue, 30 May 1995 11:28:13 +0200 clasohm fixed bug in thms_containing; changed error/warning messages;
Mon, 29 May 1995 15:04:27 +0200 clasohm changed error message in thms_containing
Mon, 29 May 1995 13:55:06 +0200 clasohm added theorem database which contains axioms and theorems indexed by the
less more (0) tip