Mon, 22 Oct 2001 12:01:35 +0200 paulson Numerals now work for the integers: the binary numerals for 0 and 1 rewrite
Mon, 22 Oct 2001 11:55:35 +0200 paulson New simproc, needed to cope with combinations of (abstract) 0, (abstract) 1,
Mon, 22 Oct 2001 11:54:22 +0200 paulson Numerals now work for the integers: the binary numerals for 0 and 1 rewrite
Mon, 22 Oct 2001 11:01:30 +0200 wenzelm keep DISPLAY;
Sun, 21 Oct 2001 19:49:29 +0200 wenzelm updated;
Sun, 21 Oct 2001 19:48:19 +0200 wenzelm renamed to Typedefs.thy to avoid conflict with main HOL version;
Sun, 21 Oct 2001 19:44:25 +0200 wenzelm * proper spacing of consecutive markup elements, especially text
Sun, 21 Oct 2001 19:42:53 +0200 wenzelm \newif\ifisamarkup controls spacing of isabeginpar;
Sun, 21 Oct 2001 19:42:24 +0200 wenzelm improved spacing;
Sun, 21 Oct 2001 19:41:43 +0200 wenzelm maintain Latex.flag_markup;
Sun, 21 Oct 2001 19:40:39 +0200 wenzelm flag_markup;
Sun, 21 Oct 2001 19:36:12 +0200 wenzelm Types/document/Typedefs;
Sun, 21 Oct 2001 19:35:40 +0200 wenzelm renamed Typedef.thy to Typedefs.thy (former already present in main HOL);
Sat, 20 Oct 2001 22:07:44 +0200 wenzelm got rid of separate root.tex;
Sat, 20 Oct 2001 20:23:37 +0200 wenzelm graceful interpretation of -i/-d/-D options;
Sat, 20 Oct 2001 20:22:17 +0200 wenzelm include document graph;
Sat, 20 Oct 2001 20:21:40 +0200 wenzelm document graph option;
Sat, 20 Oct 2001 20:21:14 +0200 wenzelm conditional: bool -> (unit -> unit) -> unit;
Sat, 20 Oct 2001 20:20:41 +0200 wenzelm added TextIO.stdErr;
Sat, 20 Oct 2001 20:20:21 +0200 wenzelm include document graph;
Sat, 20 Oct 2001 20:19:47 +0200 wenzelm document graphs for several sessions;
Sat, 20 Oct 2001 20:18:57 +0200 wenzelm tuned;
Sat, 20 Oct 2001 20:18:45 +0200 wenzelm calculational rules moved from FOL to IFOL;
Sat, 20 Oct 2001 20:18:19 +0200 wenzelm option -g for document graph;
Sat, 20 Oct 2001 20:16:55 +0200 wenzelm option -q also excludes -v true in generated stuff;
Sat, 20 Oct 2001 20:15:44 +0200 wenzelm dvips -q;
Sat, 20 Oct 2001 20:15:27 +0200 wenzelm removed -v option (handled by isabelle process);
Sat, 20 Oct 2001 20:14:56 +0200 wenzelm -o pdf: produce *both* eps and pdf;
Sat, 20 Oct 2001 20:14:16 +0200 wenzelm * greatly simplified document preparation setup, including more
Fri, 19 Oct 2001 22:03:25 +0200 wenzelm got rid of ML proof scripts;
Fri, 19 Oct 2001 22:02:25 +0200 wenzelm induct_method.ML -- proof by cases and induction on sets and types (Isar);
Fri, 19 Oct 2001 22:02:02 +0200 wenzelm latex output: bold lambda;
Fri, 19 Oct 2001 22:01:25 +0200 wenzelm got rid of ML proof scripts for Product_Type;
Fri, 19 Oct 2001 22:00:08 +0200 wenzelm got rid of Provers/split_paired_all.ML;
Fri, 19 Oct 2001 21:59:33 +0200 wenzelm improved default dependencies;
Fri, 19 Oct 2001 12:17:04 +0200 wenzelm revert to proper version (!);
Thu, 18 Oct 2001 21:27:47 +0200 wenzelm GPLed;
Thu, 18 Oct 2001 21:22:40 +0200 wenzelm tuned;
Thu, 18 Oct 2001 21:07:29 +0200 wenzelm use abstract product type instead of datatype;
Thu, 18 Oct 2001 21:05:35 +0200 wenzelm moved atomize stuff to theory HOL;
Thu, 18 Oct 2001 21:03:43 +0200 wenzelm legacy interfaces for axclass instantiation;
Thu, 18 Oct 2001 21:02:46 +0200 wenzelm added map_base;
Thu, 18 Oct 2001 21:02:26 +0200 wenzelm sane internal interfaces for instance;
Thu, 18 Oct 2001 21:01:59 +0200 wenzelm sane internal interface for add_typedef(_i);
Thu, 18 Oct 2001 21:01:18 +0200 wenzelm proper setup for abstract product types;
Thu, 18 Oct 2001 20:59:59 +0200 wenzelm moved InductMethod.setup to theory HOL;
Thu, 18 Oct 2001 20:59:33 +0200 wenzelm setup generic cases and induction (from Inductive.thy);
Wed, 17 Oct 2001 20:25:51 +0200 wenzelm guillemot syntax;
Wed, 17 Oct 2001 20:25:19 +0200 wenzelm improved internal interface of typedef;
Wed, 17 Oct 2001 20:24:37 +0200 wenzelm abstract product types;
Wed, 17 Oct 2001 20:24:03 +0200 wenzelm proper proof of split_paired_all (presently unused);
Wed, 17 Oct 2001 18:52:30 +0200 wenzelm tuned comments;
Wed, 17 Oct 2001 18:51:03 +0200 wenzelm added mk_UNIV;
Wed, 17 Oct 2001 18:50:49 +0200 wenzelm tuned;
Tue, 16 Oct 2001 23:02:14 +0200 wenzelm simplified exporter interface;
Tue, 16 Oct 2001 23:00:21 +0200 wenzelm added implies_intr_goals;
Tue, 16 Oct 2001 22:59:30 +0200 wenzelm tuned;
Tue, 16 Oct 2001 19:56:31 +0200 berghofe Tuned.
Tue, 16 Oct 2001 19:54:53 +0200 berghofe Removed exit command from end of main method.
Tue, 16 Oct 2001 19:54:24 +0200 berghofe PS method now calculates layout using default font metrics.
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip