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
(0) -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip