Mon, 20 Oct 1997 10:39:26 +0200 wenzelm Sign.base_name;
Mon, 20 Oct 1997 10:39:04 +0200 wenzelm fixed types of add_XXX;
Mon, 20 Oct 1997 10:38:36 +0200 wenzelm local;
Mon, 20 Oct 1997 10:38:16 +0200 wenzelm local section;
Sat, 18 Oct 1997 13:23:02 +0200 nipkow addsplits
Fri, 17 Oct 1997 19:07:56 +0200 wenzelm adapted to qualified names;
Fri, 17 Oct 1997 18:19:14 +0200 wenzelm no longer tries bogus eta-contract involving aprops;
Fri, 17 Oct 1997 18:14:48 +0200 wenzelm adapted to qualified names;
Fri, 17 Oct 1997 18:03:46 +0200 wenzelm fixed RAW target;
Fri, 17 Oct 1997 17:42:39 +0200 wenzelm (co) inductive / datatype package adapted to qualified names;
Fri, 17 Oct 1997 17:40:33 +0200 wenzelm obselete 'end' hack;
Fri, 17 Oct 1997 17:40:02 +0200 wenzelm global;
Fri, 17 Oct 1997 17:39:04 +0200 wenzelm tuned "." syntax;
Fri, 17 Oct 1997 17:33:22 +0200 wenzelm removed Classlib;
Fri, 17 Oct 1997 17:32:27 +0200 wenzelm *** empty log message ***
Fri, 17 Oct 1997 15:25:12 +0200 nipkow setloop split_tac -> addsplits
Fri, 17 Oct 1997 15:23:14 +0200 nipkow Added error messages.
Fri, 17 Oct 1997 11:12:36 +0200 paulson A lot of new comments
Fri, 17 Oct 1997 11:10:54 +0200 paulson Eta-expanded a function decl to make sml/nj happy
Fri, 17 Oct 1997 11:10:13 +0200 paulson Added "op" before "occs" to make sml/nj happy
Fri, 17 Oct 1997 11:09:34 +0200 paulson New rewrite rules for simplifying conditionals
Fri, 17 Oct 1997 11:00:50 +0200 paulson New trivial rewrites
Fri, 17 Oct 1997 11:00:00 +0200 paulson New rewrite rules for simplifying conditionals
Fri, 17 Oct 1997 10:58:44 +0200 paulson Better simplification eliminates a command from proof of psubset_card
Fri, 17 Oct 1997 10:57:48 +0200 paulson New simprules imp_disj1,2 and some comments
Fri, 17 Oct 1997 09:04:02 +0200 nipkow Added image_eqI to simpset.
Fri, 17 Oct 1997 09:03:16 +0200 nipkow Removed image_eqI from simpset because of clash with neq_shrK.
Thu, 16 Oct 1997 16:54:31 +0200 nipkow AddIffs [all_not_in_conv];
Thu, 16 Oct 1997 15:33:06 +0200 wenzelm global;
Thu, 16 Oct 1997 15:31:12 +0200 nipkow Modified comment.
Thu, 16 Oct 1997 15:23:53 +0200 paulson New simprules imp_disj1, imp_disj2
Thu, 16 Oct 1997 15:23:25 +0200 paulson New simprule diff_le_self, requiring a new proof of diff_diff_cancel
Thu, 16 Oct 1997 15:09:08 +0200 nipkow Removed comment.
Thu, 16 Oct 1997 14:52:35 +0200 wenzelm tuned;
Thu, 16 Oct 1997 14:48:10 +0200 wenzelm removed begin;
Thu, 16 Oct 1997 14:46:55 +0200 wenzelm fixed prep_ext;
Thu, 16 Oct 1997 14:14:01 +0200 nipkow Simplified proof.
Thu, 16 Oct 1997 14:12:58 +0200 nipkow Simplified proof because of better simplifier.
Thu, 16 Oct 1997 14:12:15 +0200 nipkow Various new lemmas. Improved conversion of equations to rewrite rules:
Thu, 16 Oct 1997 14:00:20 +0200 wenzelm added transfer: theory -> thm -> thm;
Thu, 16 Oct 1997 13:45:27 +0200 wenzelm oops;
Thu, 16 Oct 1997 13:45:16 +0200 nipkow The simplifier has been improved a little: equations s=t which used to be
Thu, 16 Oct 1997 13:43:42 +0200 wenzelm fixed dependencies;
Thu, 16 Oct 1997 13:42:53 +0200 wenzelm transfer thy Ord_nat;
Thu, 16 Oct 1997 13:42:29 +0200 wenzelm sevaral goals restated in mono.thy;
Thu, 16 Oct 1997 13:39:20 +0200 wenzelm moved rank_Inl, rank_Inr from Epsilon.ML to Univ.ML;
Thu, 16 Oct 1997 13:38:47 +0200 wenzelm transfer InfDatatype.thy Limit_VfromE;
Thu, 16 Oct 1997 13:38:28 +0200 wenzelm transfer CardinalArith.thy nat_into_Ord;
Thu, 16 Oct 1997 13:36:04 +0200 wenzelm improved pretty_arity;
Thu, 16 Oct 1997 13:34:15 +0200 wenzelm added merge_theories (new name arg);
Thu, 16 Oct 1997 13:33:17 +0200 wenzelm fixed merge_theories;
Thu, 16 Oct 1997 13:28:04 +0200 wenzelm revert to 1.3;
Thu, 16 Oct 1997 13:20:31 +0200 wenzelm revert to 1.1;
Thu, 16 Oct 1997 13:13:03 +0200 nipkow Added last, butlast, dropped ttl.
Thu, 16 Oct 1997 10:29:56 +0200 mueller lala
Thu, 16 Oct 1997 10:22:37 +0200 paulson Eta-expansion of function declarations, for value polymorphism
Wed, 15 Oct 1997 15:18:41 +0200 wenzelm remove merge_theories;
Wed, 15 Oct 1997 15:17:32 +0200 wenzelm make_draft replaced by prep_ext;
Wed, 15 Oct 1997 15:15:22 +0200 wenzelm tuned;
Wed, 15 Oct 1997 15:14:56 +0200 wenzelm eliminated aliasing merge: now always extends;
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip