Sat, 20 Jan 2001 00:01:40 +0100 |
wenzelm |
*** empty log message ***
|
changeset |
files
|
Fri, 19 Jan 2001 23:53:07 +0100 |
wenzelm |
added HOL/Library/Nested_Environment.thy;
|
changeset |
files
|
Fri, 19 Jan 2001 23:28:50 +0100 |
wenzelm |
updated;
|
changeset |
files
|
Fri, 19 Jan 2001 19:26:02 +0100 |
wenzelm |
more bugs;
|
changeset |
files
|
Fri, 19 Jan 2001 13:35:11 +0100 |
wenzelm |
forget RPM;
|
changeset |
files
|
Fri, 19 Jan 2001 11:53:21 +0100 |
wenzelm |
convert legacy tactic scripts to Isabelle/Isar tactic emulation;
|
changeset |
files
|
Thu, 18 Jan 2001 21:41:36 +0100 |
wenzelm |
made SML/XL happy;
|
changeset |
files
|
Thu, 18 Jan 2001 20:40:47 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Thu, 18 Jan 2001 20:40:33 +0100 |
wenzelm |
show(_i): check goal;
|
changeset |
files
|
Thu, 18 Jan 2001 20:39:53 +0100 |
wenzelm |
show/thus: check_goal;
|
changeset |
files
|
Thu, 18 Jan 2001 20:38:58 +0100 |
wenzelm |
show/thus: Toplevel.proof';
|
changeset |
files
|
Thu, 18 Jan 2001 20:38:32 +0100 |
wenzelm |
infix \\\\;
|
changeset |
files
|