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;
Wed, 15 Oct 1997 15:13:43 +0200 wenzelm tuned comment;
Wed, 15 Oct 1997 15:13:25 +0200 wenzelm improved print_data;
Wed, 15 Oct 1997 15:12:59 +0200 wenzelm tuned;
Wed, 15 Oct 1997 11:43:27 +0200 wenzelm slightly changed interfaces for oracles;
Wed, 15 Oct 1997 11:27:55 +0200 nipkow Added ack to Mateja Jamnik.
Wed, 15 Oct 1997 11:16:48 +0200 wenzelm tuned;
Tue, 14 Oct 1997 17:36:45 +0200 wenzelm tuned;
Tue, 14 Oct 1997 17:36:22 +0200 wenzelm added additional generic data;
Tue, 14 Oct 1997 17:35:56 +0200 wenzelm Sign.print_data;
Tue, 14 Oct 1997 17:35:35 +0200 wenzelm added init_data, get_data, put_data;
Tue, 14 Oct 1997 17:34:36 +0200 wenzelm added data.ML;
Tue, 14 Oct 1997 17:34:21 +0200 wenzelm Arbitrarily typed data.
Tue, 14 Oct 1997 17:23:01 +0200 paulson Patch to avoid simplification of ~EX to ALL~
Tue, 14 Oct 1997 13:59:12 +0200 nipkow Two lemmas are already in List.
Tue, 14 Oct 1997 13:58:47 +0200 nipkow More lemmas, esp. ~Bex and ~Ball conversions.
Tue, 14 Oct 1997 12:41:11 +0200 nipkow Added neagtion rules for Ball and Bex.
Tue, 14 Oct 1997 11:57:14 +0200 wenzelm tuned;
Tue, 14 Oct 1997 11:30:35 +0200 wenzelm browser info;
Tue, 14 Oct 1997 10:52:17 +0200 paulson rearranged and added TLA
Mon, 13 Oct 1997 17:49:50 +0200 wenzelm fixed extern;
Mon, 13 Oct 1997 17:49:08 +0200 wenzelm uses Sign.str_of_classrel, Sign.str_of_arity, Sign.str_of_arity;
Mon, 13 Oct 1997 17:47:59 +0200 wenzelm uses Sign.str_of_sort;
Mon, 13 Oct 1997 12:51:51 +0200 wenzelm fixed dots;
Mon, 13 Oct 1997 12:48:42 +0200 wenzelm print_goals: optional output of const types (set show_consts);
Mon, 13 Oct 1997 12:48:23 +0200 wenzelm merge: drops path elements;
Mon, 13 Oct 1997 11:00:06 +0200 merz Absolute URL's for documentation
Mon, 13 Oct 1997 10:31:21 +0200 wenzelm non-transparent logo;
Mon, 13 Oct 1997 10:22:28 +0200 wenzelm fixed dots;
Mon, 13 Oct 1997 10:14:52 +0200 wenzelm hierachically structured name spaces;
Sun, 12 Oct 1997 22:06:00 +0200 berghofe Changed logo.
Sun, 12 Oct 1997 22:04:06 +0200 berghofe Added command for copying new logo.
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip