| Mon, 04 May 1998 13:48:47 +0200 | wenzelm | fixed constdefs syntax; | changeset | files |
| Mon, 04 May 1998 09:54:29 +0200 | wenzelm | concrete syntax for record terms; | changeset | files |
| Mon, 04 May 1998 09:17:18 +0200 | nipkow | New behaviour of asm_full_simp_tac. | changeset | files |