| Mon, 10 Dec 2001 15:18:34 +0100 |
berghofe |
Added new files (code generator and examples).
|
changeset |
files
|
| Mon, 10 Dec 2001 15:17:49 +0100 |
berghofe |
Moved code generator setup from Recdef to Inductive.
|
changeset |
files
|
| Mon, 10 Dec 2001 15:16:49 +0100 |
berghofe |
Replaced several occurrences of "blast" by "rules".
|
changeset |
files
|
| Mon, 10 Dec 2001 13:30:14 +0100 |
wenzelm |
document root;
|
changeset |
files
|
| Sun, 09 Dec 2001 15:26:13 +0100 |
kleing |
tuned
|
changeset |
files
|
| Sun, 09 Dec 2001 14:37:42 +0100 |
kleing |
HOLCF/IMP converted to Isar
|
changeset |
files
|
| Sun, 09 Dec 2001 14:36:14 +0100 |
kleing |
HOL/IMP converted to Isar
|
changeset |
files
|
| Sun, 09 Dec 2001 14:35:36 +0100 |
kleing |
converted to Isar
|
changeset |
files
|
| Sun, 09 Dec 2001 14:35:11 +0100 |
kleing |
latex output setup
|
changeset |
files
|
| Sun, 09 Dec 2001 14:34:56 +0100 |
kleing |
tuned for latex output
|
changeset |
files
|
| Sun, 09 Dec 2001 14:34:18 +0100 |
kleing |
setup [trans] rules for calculational Isar reasoning
|
changeset |
files
|
| Sat, 08 Dec 2001 17:34:46 +0100 |
wenzelm |
use /var/tmp (which happens to be more spacious on atbroy37);
|
changeset |
files
|
| Sat, 08 Dec 2001 17:25:45 +0100 |
wenzelm |
new-style theory;
|
changeset |
files
|
| Sat, 08 Dec 2001 17:25:01 +0100 |
wenzelm |
added Main.ML;
|
changeset |
files
|
| Sat, 08 Dec 2001 16:13:20 +0100 |
wenzelm |
restart_loader: do *not* ThyLoad.reset_path;
|
changeset |
files
|
| Sat, 08 Dec 2001 14:43:48 +0100 |
wenzelm |
tuned print_state interfaces;
|
changeset |
files
|