Thu, 19 Oct 2000 01:48:26 +0200 wenzelm use RecdefPackage.tcs_of;
Thu, 19 Oct 2000 01:47:50 +0200 wenzelm added tcs_of;
Wed, 18 Oct 2000 23:58:07 +0200 wenzelm updated;
Wed, 18 Oct 2000 23:44:52 +0200 wenzelm removed Library/Accessible_Part.ML;
Wed, 18 Oct 2000 23:42:18 +0200 wenzelm use Multiset from HOL/Library;
Wed, 18 Oct 2000 23:41:28 +0200 wenzelm use Accessible_Part from HOL/Library;
Wed, 18 Oct 2000 23:40:58 +0200 wenzelm path_add "~~/src/HOL/Library";
Wed, 18 Oct 2000 23:40:38 +0200 wenzelm tuned;
Wed, 18 Oct 2000 23:40:17 +0200 wenzelm tuned declarations;
Wed, 18 Oct 2000 23:39:49 +0200 wenzelm avoid "_" and "^" (more robust);
Wed, 18 Oct 2000 23:39:19 +0200 wenzelm removed Acc and Multiset (see HOL/Library);
Wed, 18 Oct 2000 23:38:41 +0200 wenzelm moved to HOL/Library;
Wed, 18 Oct 2000 23:35:56 +0200 wenzelm MultisetOrder mmoved to HOL/Library;
Wed, 18 Oct 2000 23:35:08 +0200 wenzelm moved to HOL/LIbrary;
Wed, 18 Oct 2000 23:33:04 +0200 wenzelm added HOL/Library, rearranged several files;
Wed, 18 Oct 2000 23:32:19 +0200 wenzelm moved to HOL/Library;
Wed, 18 Oct 2000 23:31:16 +0200 wenzelm "The Supplemental Isabelle/HOL Library";
Wed, 18 Oct 2000 23:30:48 +0200 wenzelm added path_add;
Wed, 18 Oct 2000 23:29:49 +0200 wenzelm A general ``while'' combinator (from main HOL);
Wed, 18 Oct 2000 23:29:13 +0200 wenzelm Quotient types;
Wed, 18 Oct 2000 23:28:33 +0200 wenzelm Multisets (from HOL/Induct/Multiset and friends);
Wed, 18 Oct 2000 23:28:02 +0200 wenzelm The accessible part of a relation (from HOL/Induct/Acc);
Wed, 18 Oct 2000 23:27:16 +0200 wenzelm \isabellecontext: output_syms;
Wed, 18 Oct 2000 23:26:42 +0200 wenzelm restart: do not reset theory loader path;
Wed, 18 Oct 2000 23:24:39 +0200 wenzelm * HOL/Library: a collection of generic theories to be used together
Wed, 18 Oct 2000 17:47:01 +0200 nipkow *** empty log message ***
Wed, 18 Oct 2000 17:19:24 +0200 nipkow *** empty log message ***
Wed, 18 Oct 2000 17:19:18 +0200 nipkow *** empty log message ***
Wed, 18 Oct 2000 12:30:59 +0200 paulson wellfounded -> well-founded
Tue, 17 Oct 2000 22:25:23 +0200 wenzelm tuned;
Tue, 17 Oct 2000 22:25:03 +0200 wenzelm "Deriving rules";
Tue, 17 Oct 2000 22:22:56 +0200 wenzelm improved;
Tue, 17 Oct 2000 16:59:02 +0200 nipkow *** empty log message ***
Tue, 17 Oct 2000 13:28:57 +0200 nipkow *** empty log message ***
Tue, 17 Oct 2000 10:45:51 +0200 paulson renaming of contrapos rules
Tue, 17 Oct 2000 10:27:28 +0200 paulson tidied some awkward proofs
Tue, 17 Oct 2000 10:26:07 +0200 paulson tidying; removed unused rev_contra_subsetD
Tue, 17 Oct 2000 10:23:16 +0200 paulson restoration of "equalityI"; renaming of contrapos rules
Tue, 17 Oct 2000 10:21:12 +0200 paulson renaming of contrapos rules
Tue, 17 Oct 2000 10:20:43 +0200 paulson tidying and renaming of contrapos rules
Tue, 17 Oct 2000 08:41:42 +0200 oheimb cosmetics
Tue, 17 Oct 2000 08:00:46 +0200 nipkow added intermediate value thms
Tue, 17 Oct 2000 08:00:34 +0200 nipkow <= -> \<le>
Mon, 16 Oct 2000 20:33:15 +0200 wenzelm updated;
Mon, 16 Oct 2000 13:21:01 +0200 nipkow *** empty log message ***
Mon, 16 Oct 2000 10:59:35 +0200 nipkow *** empty log message ***
Sun, 15 Oct 2000 19:51:56 +0200 wenzelm tuned;
Sun, 15 Oct 2000 19:51:19 +0200 wenzelm fixed \isasyminv;
Sun, 15 Oct 2000 19:50:59 +0200 wenzelm more elements;
Sun, 15 Oct 2000 19:50:35 +0200 wenzelm proper symbol markup with \isamath, \isatext;
Fri, 13 Oct 2000 18:32:08 +0200 nipkow *** empty log message ***
Fri, 13 Oct 2000 18:25:34 +0200 nipkow *** empty log message ***
Fri, 13 Oct 2000 18:02:08 +0200 nipkow *** empty log message ***
Fri, 13 Oct 2000 11:15:56 +0200 paulson renamed fp_Tarski to fp_unfold
Fri, 13 Oct 2000 10:49:05 +0200 nipkow *** empty log message ***
Fri, 13 Oct 2000 08:28:21 +0200 nipkow *** empty log message ***
Thu, 12 Oct 2000 18:44:35 +0200 nipkow *** empty log message ***
Thu, 12 Oct 2000 18:38:23 +0200 nipkow *** empty log message ***
Thu, 12 Oct 2000 18:09:06 +0200 wenzelm updated;
Thu, 12 Oct 2000 18:06:31 +0200 wenzelm induct -> lfp_induct;
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip