Tue, 13 Apr 1999 12:36:11 +0200 wenzelm -p option;
Tue, 13 Apr 1999 12:35:28 +0200 wenzelm adapted isatool install;
Tue, 13 Apr 1999 12:35:11 +0200 wenzelm improved isatool install;
Tue, 13 Apr 1999 10:34:30 +0200 wenzelm tuned;
Mon, 12 Apr 1999 16:20:04 +0200 wenzelm ML_PLATFORM;
Mon, 12 Apr 1999 15:52:48 +0200 wenzelm ML_PLATFORM;
Wed, 07 Apr 1999 15:43:16 +0200 wenzelm fixed @@;
Sun, 04 Apr 1999 16:07:33 +0200 paulson fixed bib file
Sat, 03 Apr 1999 13:05:42 +0200 wenzelm fixed;
Thu, 01 Apr 1999 18:42:48 +0200 pusch new definition for nth.
Wed, 31 Mar 1999 16:14:20 +0200 nipkow useless relic
Tue, 30 Mar 1999 13:17:55 +0200 nipkow arith_tac
Fri, 19 Mar 1999 11:26:40 +0100 wenzelm tuned;
Fri, 19 Mar 1999 11:24:00 +0100 wenzelm common qed and end of proofs;
Thu, 18 Mar 1999 16:44:53 +0100 nipkow * New bounded quantifier syntax (input only):
Thu, 18 Mar 1999 16:42:34 +0100 nipkow New bounded quantifier syntax: !x<i. P etc
Thu, 18 Mar 1999 11:19:03 +0100 paulson added new theory Yahalom_Bad
Thu, 18 Mar 1999 10:41:33 +0100 paulson added new theory Yahalom_Bad
Thu, 18 Mar 1999 10:41:00 +0100 paulson exchanged the order of Gets and Notes in datatype event
Wed, 17 Mar 1999 18:01:41 +0100 wenzelm fixed thm_name again;
Wed, 17 Mar 1999 17:20:36 +0100 wenzelm Theory.sign_of;
Wed, 17 Mar 1999 17:19:18 +0100 wenzelm xnum token class;
Wed, 17 Mar 1999 17:18:54 +0100 wenzelm xstr token class;
Wed, 17 Mar 1999 16:53:46 +0100 wenzelm Theory.sign_of;
Wed, 17 Mar 1999 16:53:32 +0100 wenzelm fixed axclass_tac;
Wed, 17 Mar 1999 16:45:53 +0100 wenzelm tuned;
Wed, 17 Mar 1999 16:33:47 +0100 wenzelm Theory.sign_of;
Wed, 17 Mar 1999 16:33:00 +0100 wenzelm qualify Theory.sign_of etc.;
Wed, 17 Mar 1999 16:32:38 +0100 wenzelm fixed msg;
Wed, 17 Mar 1999 15:43:04 +0100 wenzelm tuned msg;
Wed, 17 Mar 1999 13:56:29 +0100 wenzelm axclass_tac lost an argument;
Wed, 17 Mar 1999 13:54:42 +0100 wenzelm HOL/typedef: fixed type inference for representing set;
Wed, 17 Mar 1999 13:50:51 +0100 wenzelm rep_datatype: '_i' version, attributes, outer syntax;
Wed, 17 Mar 1999 13:49:39 +0100 wenzelm local open OuterParse;
Wed, 17 Mar 1999 13:49:14 +0100 wenzelm actually check non-emptiness theorem;
Wed, 17 Mar 1999 13:47:34 +0100 wenzelm fixed typedef representing set;
Wed, 17 Mar 1999 13:47:04 +0100 wenzelm adapted rep_datatype;
Wed, 17 Mar 1999 13:46:23 +0100 wenzelm added dest_mem;
Wed, 17 Mar 1999 13:44:43 +0100 wenzelm theory data;
Wed, 17 Mar 1999 13:42:42 +0100 wenzelm adapted AxClass.add_axclass;
Wed, 17 Mar 1999 13:41:50 +0100 wenzelm tuned msgs;
Wed, 17 Mar 1999 13:41:14 +0100 wenzelm tuned;
Wed, 17 Mar 1999 13:40:21 +0100 wenzelm cleaned comments;
Wed, 17 Mar 1999 13:39:44 +0100 wenzelm added apply_cond_open;
Wed, 17 Mar 1999 13:39:21 +0100 wenzelm added (improper_)command;
Wed, 17 Mar 1999 13:39:01 +0100 wenzelm added simple_arity, spec_name, spec_opt_name;
Wed, 17 Mar 1999 13:36:23 +0100 wenzelm added '_i' versions;
Wed, 17 Mar 1999 13:34:49 +0100 wenzelm OuterSyntax.(improper_)command;
Wed, 17 Mar 1999 13:33:13 +0100 wenzelm added assert_super;
Wed, 17 Mar 1999 13:32:20 +0100 wenzelm added def_name;
Wed, 17 Mar 1999 13:31:19 +0100 wenzelm added cond_extern_thm_sg;
Wed, 17 Mar 1999 13:30:24 +0100 wenzelm AxClass.setup;
Wed, 17 Mar 1999 13:30:09 +0100 wenzelm axclass.ML loaded after Isar;
Fri, 12 Mar 1999 22:02:51 +0100 wenzelm made weblint happy;
Fri, 12 Mar 1999 18:49:02 +0100 wenzelm comment;
Fri, 12 Mar 1999 18:48:51 +0100 wenzelm removed obsolete user data stuff;
Fri, 12 Mar 1999 18:48:11 +0100 wenzelm theory: include parent links;
Thu, 11 Mar 1999 21:59:26 +0100 wenzelm outer syntax for 'datatype';
Thu, 11 Mar 1999 21:58:54 +0100 wenzelm add_primrec(_i): attributes;
Thu, 11 Mar 1999 21:58:12 +0100 wenzelm outer syntax for 'record';
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip