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.
Fri, 10 Oct 1997 19:13:58 +0200 wenzelm fixed dots;
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
Fri, 10 Oct 1997 18:37:49 +0200 wenzelm fixed fixed dots;
Fri, 10 Oct 1997 18:23:31 +0200 wenzelm fixed dots;
Fri, 10 Oct 1997 18:17:17 +0200 wenzelm fixed dots;
Fri, 10 Oct 1997 17:38:50 +0200 wenzelm tuned;
Fri, 10 Oct 1997 17:10:12 +0200 wenzelm fixed dots;
Fri, 10 Oct 1997 16:29:41 +0200 wenzelm fixed dots;
Fri, 10 Oct 1997 15:52:12 +0200 wenzelm fixed dots;
Fri, 10 Oct 1997 15:51:38 +0200 wenzelm BAD_space_explode;
Fri, 10 Oct 1997 15:51:14 +0200 wenzelm tuned;
Fri, 10 Oct 1997 15:50:46 +0200 wenzelm fixed space_explode, old one retained as BAD_space_explode;
Fri, 10 Oct 1997 15:48:43 +0200 wenzelm scan_longid moved to Syntax/lexicon.ML;
Fri, 10 Oct 1997 15:48:10 +0200 wenzelm constify: qualified is const;
Fri, 10 Oct 1997 15:47:41 +0200 wenzelm added longid syntax;
Fri, 10 Oct 1997 15:46:50 +0200 wenzelm added longid;
Fri, 10 Oct 1997 15:44:48 +0200 wenzelm decode: qualified is always const;
Fri, 10 Oct 1997 14:51:58 +0200 wenzelm tuned;
Thu, 09 Oct 1997 18:01:27 +0200 wenzelm \n at end;
Thu, 09 Oct 1997 17:45:03 +0200 wenzelm ensure that dots in formulas are followed by non-idents;
Thu, 09 Oct 1997 17:20:15 +0200 wenzelm *** empty log message ***
Thu, 09 Oct 1997 15:06:49 +0200 wenzelm no longer handles consts "" -- use syntax instead;
Thu, 09 Oct 1997 15:04:21 +0200 wenzelm removed open;
Thu, 09 Oct 1997 15:03:06 +0200 wenzelm fixed infix syntax;
Thu, 09 Oct 1997 15:01:11 +0200 wenzelm added TLA stuff;
Thu, 09 Oct 1997 15:00:41 +0200 wenzelm fixed oracle;
Thu, 09 Oct 1997 14:59:36 +0200 wenzelm removed declIffOracle;
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip