| Wed, 21 Oct 1998 13:01:17 +0200 | wenzelm | tuned (all proofs are INSTABLE by David's definition of instability); | changeset | files |
| Wed, 21 Oct 1998 11:10:38 +0200 | wenzelm | improved var names; | changeset | files |
| Tue, 20 Oct 1998 18:04:23 +0200 | wenzelm | tuned stack_overflow_handler; | changeset | files |
| Tue, 20 Oct 1998 17:52:52 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Tue, 20 Oct 1998 17:27:00 +0200 | wenzelm | delSWrapper "record_split_tac"; | changeset | files |
| Tue, 20 Oct 1998 16:41:50 +0200 | wenzelm | fixed Syntax module; | changeset | files |