Tue, 09 Mar 1999 12:11:00 +0100 |
wenzelm |
added strlen_real, setmp_margin;
|
changeset |
files
|
Tue, 09 Mar 1999 12:10:13 +0100 |
wenzelm |
tuned using nth_elem_string, exists_string;
|
changeset |
files
|
Tue, 09 Mar 1999 12:09:51 +0100 |
wenzelm |
added make, dir;
|
changeset |
files
|
Tue, 09 Mar 1999 12:09:22 +0100 |
wenzelm |
added mkdir;
|
changeset |
files
|
Tue, 09 Mar 1999 12:09:05 +0100 |
wenzelm |
added Buffer;
|
changeset |
files
|
Tue, 09 Mar 1999 12:08:50 +0100 |
wenzelm |
simple string buffers;
|
changeset |
files
|
Tue, 09 Mar 1999 12:08:08 +0100 |
wenzelm |
*** empty log message ***
|
changeset |
files
|
Tue, 09 Mar 1999 12:07:52 +0100 |
wenzelm |
pretty_thm_no_quote;
|
changeset |
files
|
Tue, 09 Mar 1999 12:07:32 +0100 |
wenzelm |
HTML.setup;
|
changeset |
files
|
Tue, 09 Mar 1999 12:07:16 +0100 |
wenzelm |
added nth_elem_string, exists_string;
|
changeset |
files
|
Tue, 09 Mar 1999 12:06:09 +0100 |
wenzelm |
token translation: real;
|
changeset |
files
|
Tue, 09 Mar 1999 12:05:07 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 09 Mar 1999 11:09:01 +0100 |
paulson |
tidied
|
changeset |
files
|
Tue, 09 Mar 1999 11:01:39 +0100 |
paulson |
Added Bella's "Gets" model for Otway_Rees. Also affects some other theories.
|
changeset |
files
|
Mon, 08 Mar 1999 13:49:53 +0100 |
nipkow |
Suc -> +1
|
changeset |
files
|
Mon, 08 Mar 1999 13:49:14 +0100 |
nipkow |
modified zip
|
changeset |
files
|
Fri, 05 Mar 1999 12:11:54 +0100 |
berghofe |
Fixed bug in add_datatype_axm:
|
changeset |
files
|
Thu, 04 Mar 1999 14:23:51 +0100 |
wenzelm |
fixed again;
|
changeset |
files
|
Wed, 03 Mar 1999 11:27:10 +0100 |
paulson |
expandshort
|
changeset |
files
|
Wed, 03 Mar 1999 11:26:36 +0100 |
paulson |
added UNITY/Extend
|
changeset |
files
|
Wed, 03 Mar 1999 11:15:18 +0100 |
paulson |
expandshort
|
changeset |
files
|
Wed, 03 Mar 1999 11:12:29 +0100 |
paulson |
tidied
|
changeset |
files
|
Wed, 03 Mar 1999 10:50:42 +0100 |
paulson |
UNITY fully working at last...
|
changeset |
files
|
Wed, 03 Mar 1999 10:36:24 +0100 |
paulson |
expandshort
|
changeset |
files
|
Wed, 03 Mar 1999 10:32:35 +0100 |
paulson |
new theory of extending the state space
|
changeset |
files
|
Mon, 01 Mar 1999 19:10:43 +0100 |
wenzelm |
fixed {ISABELLE};
|
changeset |
files
|
Mon, 01 Mar 1999 18:38:43 +0100 |
paulson |
removed the infernal States, eqStates, compatible, etc.
|
changeset |
files
|
Mon, 01 Mar 1999 18:37:52 +0100 |
paulson |
tidied
|
changeset |
files
|
Mon, 01 Mar 1999 18:37:23 +0100 |
paulson |
simpler proofs of congruence rules
|
changeset |
files
|
Mon, 01 Mar 1999 18:11:54 +0100 |
paulson |
new results e.g. about Pow; new simprules Union_image_eq, Inter_image_eq
|
changeset |
files
|