Tue, 09 Mar 1999 12:19:25 +0100 wenzelm checkpoint -- basic functionality only;
Tue, 09 Mar 1999 12:18:46 +0100 wenzelm added use_path;
Tue, 09 Mar 1999 12:18:02 +0100 wenzelm IsarThy.begin/end_theory;
Tue, 09 Mar 1999 12:17:40 +0100 wenzelm Present.theorem;
Tue, 09 Mar 1999 12:13:58 +0100 wenzelm fixed add_path reset;
Tue, 09 Mar 1999 12:13:11 +0100 wenzelm still fake, passes BrowserInfo;
Tue, 09 Mar 1999 12:12:45 +0100 wenzelm HTML markup elements.
Tue, 09 Mar 1999 12:12:02 +0100 wenzelm added html.ML, browser_info.ML;
Tue, 09 Mar 1999 12:11:29 +0100 wenzelm token translation: real;
Tue, 09 Mar 1999 12:11:00 +0100 wenzelm added strlen_real, setmp_margin;
Tue, 09 Mar 1999 12:10:13 +0100 wenzelm tuned using nth_elem_string, exists_string;
Tue, 09 Mar 1999 12:09:51 +0100 wenzelm added make, dir;
Tue, 09 Mar 1999 12:09:22 +0100 wenzelm added mkdir;
Tue, 09 Mar 1999 12:09:05 +0100 wenzelm added Buffer;
Tue, 09 Mar 1999 12:08:50 +0100 wenzelm simple string buffers;
Tue, 09 Mar 1999 12:08:08 +0100 wenzelm *** empty log message ***
Tue, 09 Mar 1999 12:07:52 +0100 wenzelm pretty_thm_no_quote;
Tue, 09 Mar 1999 12:07:32 +0100 wenzelm HTML.setup;
Tue, 09 Mar 1999 12:07:16 +0100 wenzelm added nth_elem_string, exists_string;
Tue, 09 Mar 1999 12:06:09 +0100 wenzelm token translation: real;
Tue, 09 Mar 1999 12:05:07 +0100 wenzelm tuned;
Tue, 09 Mar 1999 11:09:01 +0100 paulson tidied
Tue, 09 Mar 1999 11:01:39 +0100 paulson Added Bella's "Gets" model for Otway_Rees. Also affects some other theories.
Mon, 08 Mar 1999 13:49:53 +0100 nipkow Suc -> +1
Mon, 08 Mar 1999 13:49:14 +0100 nipkow modified zip
Fri, 05 Mar 1999 12:11:54 +0100 berghofe Fixed bug in add_datatype_axm:
Thu, 04 Mar 1999 14:23:51 +0100 wenzelm fixed again;
Wed, 03 Mar 1999 11:27:10 +0100 paulson expandshort
Wed, 03 Mar 1999 11:26:36 +0100 paulson added UNITY/Extend
Wed, 03 Mar 1999 11:15:18 +0100 paulson expandshort
Wed, 03 Mar 1999 11:12:29 +0100 paulson tidied
Wed, 03 Mar 1999 10:50:42 +0100 paulson UNITY fully working at last...
Wed, 03 Mar 1999 10:36:24 +0100 paulson expandshort
Wed, 03 Mar 1999 10:32:35 +0100 paulson new theory of extending the state space
Mon, 01 Mar 1999 19:10:43 +0100 wenzelm fixed {ISABELLE};
Mon, 01 Mar 1999 18:38:43 +0100 paulson removed the infernal States, eqStates, compatible, etc.
Mon, 01 Mar 1999 18:37:52 +0100 paulson tidied
Mon, 01 Mar 1999 18:37:23 +0100 paulson simpler proofs of congruence rules
Mon, 01 Mar 1999 18:11:54 +0100 paulson new results e.g. about Pow; new simprules Union_image_eq, Inter_image_eq
Mon, 01 Mar 1999 15:57:29 +0100 paulson simpler proofs of congruence rules
Mon, 22 Feb 1999 10:21:59 +0100 paulson new image laws
Mon, 22 Feb 1999 10:20:25 +0100 paulson added a commment on the "ext" rule
Mon, 22 Feb 1999 10:19:32 +0100 paulson new theorems Pow_0 and Pow_insert; renamed other Pow theorems
Mon, 22 Feb 1999 10:16:59 +0100 paulson added rev_bexI
Thu, 18 Feb 1999 12:15:55 +0100 wenzelm fixed order of multiple -m options;
Thu, 18 Feb 1999 12:05:16 +0100 grobauer fixed geometry;
Tue, 16 Feb 1999 10:54:55 +0100 paulson tidying in conjuntion with the TISSEC paper; replaced (unit option)
Tue, 16 Feb 1999 10:50:35 +0100 paulson new theorem image_Union_eq
Sat, 13 Feb 1999 22:08:54 +0100 wenzelm foldl_string;
Fri, 12 Feb 1999 14:40:56 +0100 oheimb renamed space2 to spacespace
Fri, 12 Feb 1999 13:56:21 +0100 wenzelm tuned pretty format lookup;
Fri, 12 Feb 1999 13:55:54 +0100 wenzelm pretty_thm: quote terms (separately);
Thu, 11 Feb 1999 21:25:21 +0100 wenzelm Symbol.output subject to print mode;
Thu, 11 Feb 1999 21:19:56 +0100 wenzelm -m isabelle_font;
Thu, 11 Feb 1999 21:18:56 +0100 wenzelm tuned;
Thu, 11 Feb 1999 21:18:35 +0100 wenzelm Present.init;
Thu, 11 Feb 1999 21:18:19 +0100 wenzelm init, finish;
Thu, 11 Feb 1999 21:17:10 +0100 wenzelm proper handling of print_mode wrt. Pretty.sym;
Thu, 11 Feb 1999 21:16:30 +0100 wenzelm added output_width;
Thu, 11 Feb 1999 21:15:46 +0100 wenzelm sym: Symbol.output_width;
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip