| Tue, 16 Jan 2001 00:24:36 +0100 | wenzelm | updated; | changeset | files |
| Tue, 16 Jan 2001 00:23:14 +0100 | wenzelm | isabelle -f; | changeset | files |
| Tue, 16 Jan 2001 00:22:43 +0100 | wenzelm | more method_setup examples; | changeset | files |
| Mon, 15 Jan 2001 10:29:13 +0100 | paulson | lcp's pass over the book, chapters 1-8 | changeset | files |
| Sun, 14 Jan 2001 18:19:18 +0100 | kleing | removed instructions Aconst_null+Bipush, introduced LitPush | changeset | files |
| Sun, 14 Jan 2001 18:17:37 +0100 | kleing | tuned | changeset | files |
| Sun, 14 Jan 2001 14:12:42 +0100 | nipkow | *** empty log message *** | changeset | files |