Wed, 10 May 2000 21:04:16 +0200 wenzelm base on IntArith instead of Int (in order to leave out deleted simproc!);
Wed, 10 May 2000 21:03:12 +0200 wenzelm dest_mss: sort procs wrt. names;
Wed, 10 May 2000 16:43:39 +0200 wenzelm FAKE_BUILD;
Wed, 10 May 2000 16:43:25 +0200 wenzelm polyml;
Wed, 10 May 2000 16:43:10 +0200 wenzelm tuned;
Wed, 10 May 2000 13:36:27 +0200 paulson new default simprule for better compatibility with old setup
Wed, 10 May 2000 11:17:01 +0200 paulson tidied
Wed, 10 May 2000 01:13:43 +0200 wenzelm tuned;
Tue, 09 May 2000 16:05:45 +0200 wenzelm use proper version of pdfsetup.sty;
Tue, 09 May 2000 16:05:30 +0200 wenzelm added semicolons;
Tue, 09 May 2000 15:10:25 +0200 wenzelm updated keywords;
Tue, 09 May 2000 14:33:43 +0200 wenzelm named "op ^" definitions;
Tue, 09 May 2000 14:16:32 +0200 wenzelm improved X-Symbol stuff;
Tue, 09 May 2000 11:29:13 +0200 paulson more examples
Mon, 08 May 2000 21:00:27 +0200 wenzelm added INSTALL;
Mon, 08 May 2000 20:59:30 +0200 wenzelm moved theory Sexp to Induct examples;
Mon, 08 May 2000 20:58:49 +0200 wenzelm strip = impI allI allI;
Mon, 08 May 2000 20:57:02 +0200 wenzelm replaced rabs by overloaded abs;
Mon, 08 May 2000 18:20:04 +0200 paulson yet another example
Mon, 08 May 2000 16:59:18 +0200 paulson new example
Mon, 08 May 2000 16:59:02 +0200 paulson tidied
Mon, 08 May 2000 16:58:44 +0200 paulson better simplification of the result of simprocs
Mon, 08 May 2000 16:58:18 +0200 paulson moved le_square, proved le_cube
Mon, 08 May 2000 16:57:53 +0200 paulson more details
Mon, 08 May 2000 11:45:57 +0200 wenzelm tuned msg;
Mon, 08 May 2000 11:45:47 +0200 wenzelm val needs_filtered_use = true;
Mon, 08 May 2000 11:35:19 +0200 wenzelm recovered \seealso;
Mon, 08 May 2000 11:13:28 +0200 wenzelm improved indexing;
Mon, 08 May 2000 11:13:11 +0200 wenzelm \usepackage{makeidx};
Mon, 08 May 2000 11:03:53 +0200 wenzelm tuned GARBAGE;
Mon, 08 May 2000 10:53:13 +0200 wenzelm improved handling of Isabelle styles (less garbage);
Mon, 08 May 2000 10:52:46 +0200 wenzelm updated;
Mon, 08 May 2000 10:52:28 +0200 wenzelm updated syntax of simp options: (no_asm) etc.;
Mon, 08 May 2000 10:51:07 +0200 wenzelm removed \isabelledefaultstyle (use \isabellestyle instead);
Mon, 08 May 2000 10:49:27 +0200 wenzelm always discgarb -c;
Sat, 06 May 2000 00:46:13 +0200 wenzelm fixed clash with new 'abs' const;
Fri, 05 May 2000 22:37:04 +0200 wenzelm use Sign.simple_read_term;
Fri, 05 May 2000 22:35:51 +0200 wenzelm error msg: counting from one (again), in order to be consistent with
Fri, 05 May 2000 22:34:40 +0200 wenzelm tuned messages;
Fri, 05 May 2000 22:32:49 +0200 wenzelm removed dead code: listof;
Fri, 05 May 2000 22:32:25 +0200 wenzelm use Args.colon / Args.parens;
Fri, 05 May 2000 22:30:14 +0200 wenzelm adapted to new arithmetic simprocs;
Fri, 05 May 2000 22:29:02 +0200 wenzelm added scan_to_id (used to be in Pure/section_utils.ML);
Fri, 05 May 2000 22:25:17 +0200 wenzelm removed Pure/section_utils.ML;
Fri, 05 May 2000 22:24:47 +0200 wenzelm improved syntax of method options (no_asm) etc;
Fri, 05 May 2000 22:24:03 +0200 wenzelm removed index2;
Fri, 05 May 2000 22:23:27 +0200 wenzelm updated;
Fri, 05 May 2000 22:18:40 +0200 wenzelm GPLed;
Fri, 05 May 2000 22:09:41 +0200 wenzelm GPLed;
Fri, 05 May 2000 22:02:46 +0200 wenzelm GPLed;
Fri, 05 May 2000 22:00:17 +0200 wenzelm GPLed;
Fri, 05 May 2000 21:59:28 +0200 wenzelm GPLed;
Fri, 05 May 2000 21:58:44 +0200 wenzelm GPLed;
Fri, 05 May 2000 21:58:18 +0200 wenzelm added simple_read_term;
Fri, 05 May 2000 21:57:58 +0200 wenzelm tuned msg;
Fri, 05 May 2000 18:24:06 +0200 nipkow Added constant abs.
Fri, 05 May 2000 17:49:54 +0200 paulson simprocs now simplify the RHS of their result
Fri, 05 May 2000 17:49:34 +0200 paulson new lemmas about binary division
Fri, 05 May 2000 12:51:33 +0200 nipkow Added AVL
Thu, 04 May 2000 18:40:57 +0200 paulson if_weak_cong should make linear arithmetic faster
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip