Thu, 08 Jan 1998 18:24:45 +0100 wenzelm tuned;
Thu, 08 Jan 1998 18:19:48 +0100 wenzelm fixed thm_less;
Thu, 08 Jan 1998 18:10:34 +0100 paulson Expressed most Oops rules using Notes instead of Says, and other tidying
Thu, 08 Jan 1998 18:09:47 +0100 oheimb added split_paired_Ex to the implicit simpset
Thu, 08 Jan 1998 18:09:07 +0100 oheimb added select_equality to the implicit claset
Thu, 08 Jan 1998 18:08:43 +0100 oheimb added select_equality to the implicit claset
Thu, 08 Jan 1998 18:07:06 +0100 oheimb added newline at end of file
Thu, 08 Jan 1998 18:06:21 +0100 oheimb *** empty log message ***
Thu, 08 Jan 1998 18:03:36 +0100 oheimb streamlined specification of included theories
Thu, 08 Jan 1998 18:00:42 +0100 oheimb corrected Title
Thu, 08 Jan 1998 18:00:08 +0100 oheimb removed obsolete comment
Thu, 08 Jan 1998 17:56:32 +0100 oheimb added Univalent
Thu, 08 Jan 1998 17:47:22 +0100 oheimb removed Eps_eq, ex1_Eps_eq, and some unnecessary parentheses
Thu, 08 Jan 1998 17:44:50 +0100 oheimb added update_same, update_other, update_triv, and map_of_SomeD
Thu, 08 Jan 1998 17:42:26 +0100 oheimb replaced fn _ => by K
Thu, 08 Jan 1998 16:52:31 +0100 wenzelm *** empty log message ***
Thu, 08 Jan 1998 11:24:46 +0100 paulson New rule: image_subset
Thu, 08 Jan 1998 11:23:18 +0100 paulson Restored the ciphertext in OR4 in order to make the spec closer to that in
Thu, 08 Jan 1998 11:21:45 +0100 paulson Tidied by adding more default simprules
Wed, 07 Jan 1998 13:55:54 +0100 wenzelm adapted to new split order;
Wed, 07 Jan 1998 13:55:29 +0100 wenzelm adapted to new sort function;
Wed, 07 Jan 1998 13:53:42 +0100 wenzelm improved targets;
Tue, 06 Jan 1998 12:32:43 +0100 wenzelm tuned;
Mon, 05 Jan 1998 12:56:22 +0100 wenzelm added -u option (again);
Mon, 05 Jan 1998 10:47:10 +0100 paulson Now calls Blast_tac more often
Fri, 02 Jan 1998 18:47:31 +0100 wenzelm obsolete;
Fri, 02 Jan 1998 18:40:30 +0100 wenzelm feeder;
Fri, 02 Jan 1998 17:17:24 +0100 paulson Changed required by new blast_tac (the one that squashes flex-flex pairs)
Fri, 02 Jan 1998 17:16:39 +0100 paulson Blast_tac now squashes flex-flex pairs immediately
Fri, 02 Jan 1998 17:15:52 +0100 paulson New theorem image_subsetI
Fri, 02 Jan 1998 17:15:19 +0100 paulson Making proofs faster, especially using keysFor_parts_insert
Fri, 02 Jan 1998 13:24:53 +0100 wenzelm do require perl;
Fri, 02 Jan 1998 11:59:06 +0100 paulson Auto_tac now has type tactic, not unit->tactic
Fri, 02 Jan 1998 11:17:06 +0100 paulson Declared startTiming and endTiming
Wed, 31 Dec 1997 15:19:51 +0100 wenzelm use feeder to pipe into ML;
Wed, 31 Dec 1997 15:17:49 +0100 wenzelm removed -i option;
Tue, 30 Dec 1997 13:43:39 +0100 nipkow nth -> !
Tue, 30 Dec 1997 11:14:09 +0100 nipkow nth -> !
Mon, 29 Dec 1997 21:39:22 +0100 wenzelm feed isabelle session;
Mon, 29 Dec 1997 21:38:19 +0100 wenzelm commented out symboloutput.pl;
Mon, 29 Dec 1997 21:37:23 +0100 wenzelm added feeder.pl;
Mon, 29 Dec 1997 14:31:20 +0100 wenzelm pretty_name_space;
Mon, 29 Dec 1997 14:30:38 +0100 wenzelm removed declared;
Mon, 29 Dec 1997 14:29:34 +0100 wenzelm removed distinct_fst_string;
Sun, 28 Dec 1997 15:47:09 +0100 wenzelm improved error handling;
Sun, 28 Dec 1997 15:46:13 +0100 wenzelm fixed execute;
Sun, 28 Dec 1997 15:24:11 +0100 wenzelm made MLWorks happy;
Sun, 28 Dec 1997 15:11:54 +0100 wenzelm stderr to $LOG;
Sun, 28 Dec 1997 15:05:10 +0100 wenzelm Symtab.empty;
Sun, 28 Dec 1997 15:00:20 +0100 wenzelm improved internal representation;
Sun, 28 Dec 1997 14:58:56 +0100 wenzelm renamed Symtab.null to Symtab.empty;
Sun, 28 Dec 1997 14:58:06 +0100 wenzelm renamed Symtab.null to Symtab.empty;
Sun, 28 Dec 1997 14:56:44 +0100 wenzelm renamed Symtab.null to Symtab.empty;
Sun, 28 Dec 1997 14:56:09 +0100 wenzelm added >> : (theory -> theory) -> unit;
Sun, 28 Dec 1997 14:55:34 +0100 wenzelm tuned;
Sun, 28 Dec 1997 14:55:20 +0100 wenzelm replaced symtab.ML by table.ML;
Sun, 28 Dec 1997 14:54:38 +0100 wenzelm renamed (is_)null to (is_)empty;
Sat, 27 Dec 1997 21:49:45 +0100 wenzelm Generic tables (lacking delete operation). Implemented as 2-3 trees.
Wed, 24 Dec 1997 12:38:40 +0100 wenzelm tuned;
Wed, 24 Dec 1997 12:21:06 +0100 wenzelm export range_type;
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip