Mon, 19 Oct 1998 11:25:37 +0200 paulson moved a theorem
Mon, 19 Oct 1998 11:24:55 +0200 paulson fixed comment
Mon, 19 Oct 1998 11:24:24 +0200 paulson fixed some indenting; changed a VERY slow blast_tac to fast_tac
Sun, 18 Oct 1998 16:49:56 +0200 wenzelm updated, tuned;
Sun, 18 Oct 1998 16:36:03 +0200 wenzelm added Minho (Portugal);
Fri, 16 Oct 1998 19:25:58 +0200 berghofe Fixed bug (improper handling of flag flat_names).
Fri, 16 Oct 1998 18:55:34 +0200 berghofe Added quiet_mode flag.
Fri, 16 Oct 1998 18:54:55 +0200 berghofe - Changed structure of name spaces
Fri, 16 Oct 1998 18:52:17 +0200 wenzelm tuned MLWorks options;
Fri, 16 Oct 1998 18:50:50 +0200 wenzelm MLWorks 2.0;
Fri, 16 Oct 1998 18:50:20 +0200 berghofe Changed structure of name spaces for datatypes.
Fri, 16 Oct 1998 17:36:12 +0200 nipkow 2. The simplifier now knows a little bit about nat-arithmetic.
Fri, 16 Oct 1998 17:33:43 +0200 nipkow Mods because trans_tac is now part of thge simplifier.
Fri, 16 Oct 1998 17:32:29 +0200 nipkow Mods because of: Installed trans_tac in solver of simpset().
Fri, 16 Oct 1998 17:32:06 +0200 nipkow Installed trans_tac in solver of simpset().
Fri, 16 Oct 1998 12:23:07 +0200 paulson changed tags from 0, 1 to None, Some() to avoid special treatment of 0
Fri, 16 Oct 1998 12:20:41 +0200 paulson parent is Main
Fri, 16 Oct 1998 08:48:05 +0200 nipkow *** empty log message ***
Thu, 15 Oct 1998 12:15:14 +0200 paulson integer simprocs
Thu, 15 Oct 1998 11:38:39 +0200 paulson Uses overload_1st_set to specify overloading
Thu, 15 Oct 1998 11:35:07 +0200 paulson specifications as sets of programs
Wed, 14 Oct 1998 15:47:22 +0200 nipkow Description of new version.
Wed, 14 Oct 1998 15:26:31 +0200 nipkow New many-sorted version.
Wed, 14 Oct 1998 11:51:11 +0200 nipkow See (* FIXME zero_neq_conv *)
Wed, 14 Oct 1998 11:50:48 +0200 nipkow Nat: added zero_neq_conv
Tue, 13 Oct 1998 14:25:01 +0200 wenzelm added Int.int;
Tue, 13 Oct 1998 14:24:35 +0200 wenzelm PRIVATE sig parts;
Tue, 13 Oct 1998 11:08:28 +0200 paulson length_Suc_conv is no longer given to AddIffs
Tue, 13 Oct 1998 11:05:34 +0200 paulson new theorems
Tue, 13 Oct 1998 10:55:33 +0200 paulson tidied
Tue, 13 Oct 1998 10:50:56 +0200 paulson Addition of HOL/UNITY/Client
Tue, 13 Oct 1998 10:50:41 +0200 paulson new rule
Tue, 13 Oct 1998 10:32:59 +0200 paulson Addition of HOL/UNITY/Client
Fri, 09 Oct 1998 15:28:04 +0200 nipkow Unified treatment of type error msgs.
Fri, 09 Oct 1998 14:36:48 +0200 nipkow More pretty breaks in error msgs.
Fri, 09 Oct 1998 14:19:13 +0200 nipkow Added a few breaks in error text.
Fri, 09 Oct 1998 11:27:11 +0200 paulson new theorem
Fri, 09 Oct 1998 11:25:26 +0200 paulson new theorems
Fri, 09 Oct 1998 11:24:46 +0200 paulson new guarantees laws
Fri, 09 Oct 1998 11:16:52 +0200 nipkow renamed Suc_card_Diff or something
Fri, 09 Oct 1998 11:16:04 +0200 nipkow Multisets at last!
Fri, 09 Oct 1998 11:15:39 +0200 nipkow added Induct/Multiset*
Fri, 09 Oct 1998 11:15:07 +0200 nipkow New inductive definition of `card'
Fri, 09 Oct 1998 11:10:59 +0200 paulson polymorphic versions of nat_neq_iff and nat_neqE
Thu, 08 Oct 1998 11:59:17 +0200 nipkow Further improvement of the simplifier.
Wed, 07 Oct 1998 18:17:37 +0200 nipkow Tuned simplifier not to re-normalized already normalized terms.
Wed, 07 Oct 1998 17:51:11 +0200 wenzelm tuned rm CVS;
Wed, 07 Oct 1998 13:21:50 +0200 nipkow runs test
Wed, 07 Oct 1998 10:32:00 +0200 paulson tidying and renaming
Wed, 07 Oct 1998 10:31:30 +0200 paulson new theorems
Wed, 07 Oct 1998 10:31:07 +0200 paulson tidied
Wed, 07 Oct 1998 10:30:47 +0200 paulson new files UNITY/Comp.{thy,ML}
Tue, 06 Oct 1998 14:39:53 +0200 nipkow Merges FoldSet into Finite
Mon, 05 Oct 1998 10:33:34 +0200 paulson deleted incorrect code that set Goals.proof_timing:=false
Mon, 05 Oct 1998 10:31:43 +0200 paulson Now prove_goalw_cterm never prints timing statistics
Mon, 05 Oct 1998 10:30:57 +0200 paulson MLWorks demands the "op" before $
Mon, 05 Oct 1998 10:27:04 +0200 paulson Finished proofs to end of section 5.1 of Chandy and Sanders
Mon, 05 Oct 1998 10:22:49 +0200 paulson Join now an infix operator
Mon, 05 Oct 1998 10:19:21 +0200 paulson simpler interface for Abel_Cancel
Mon, 05 Oct 1998 10:15:01 +0200 paulson tidied
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip