| Wed, 27 Oct 1999 17:27:07 +0200 |
wenzelm |
added (try_)update_thy_only;
|
changeset |
files
|
| Wed, 27 Oct 1999 17:25:53 +0200 |
wenzelm |
added init_context;
|
changeset |
files
|
| Wed, 27 Oct 1999 17:25:36 +0200 |
wenzelm |
quiet_update_thy: ml flag;
|
changeset |
files
|
| Wed, 27 Oct 1999 17:17:28 +0200 |
nipkow |
Fixed a bug in the EX simproc.
|
changeset |
files
|
| Wed, 27 Oct 1999 17:09:31 +0200 |
wenzelm |
export cond_with_path;
|
changeset |
files
|
| Wed, 27 Oct 1999 17:09:05 +0200 |
wenzelm |
dummy_pattern: aprop;
|
changeset |
files
|
| Wed, 27 Oct 1999 16:54:43 +0200 |
wenzelm |
updated for Isabelle99;
|
changeset |
files
|
| Wed, 27 Oct 1999 13:03:32 +0200 |
paulson |
working again; new treatment of LocalTo
|
changeset |
files
|
| Wed, 27 Oct 1999 13:02:23 +0200 |
paulson |
TEMPORARY use of Addsimps
|
changeset |
files
|
| Wed, 27 Oct 1999 12:50:48 +0200 |
paulson |
got rid of split_diff, which duplicated nat_diff_split, and
|
changeset |
files
|
| Wed, 27 Oct 1999 11:15:35 +0200 |
oheimb |
symbols in (error) messages now consistently with single backslash
|
changeset |
files
|
| Wed, 27 Oct 1999 11:13:25 +0200 |
oheimb |
now more than 256 generated bound variables possible
|
changeset |
files
|
| Wed, 27 Oct 1999 11:12:10 +0200 |
oheimb |
reset_goals no longer empties the proof stack
|
changeset |
files
|
| Tue, 26 Oct 1999 22:37:34 +0200 |
wenzelm |
improved ml handling;
|
changeset |
files
|
| Tue, 26 Oct 1999 22:36:50 +0200 |
wenzelm |
improved ml handling;
|
changeset |
files
|