| Mon, 12 Nov 2001 23:28:15 +0100 | wenzelm | added empty; | changeset | files |
| Mon, 12 Nov 2001 23:27:04 +0100 | wenzelm | mutual rules declared as ``consumes 0''; | changeset | files |
| Mon, 12 Nov 2001 23:26:18 +0100 | wenzelm | induct_atomize: include atomize_conj (for mutual induction); | changeset | files |
| Mon, 12 Nov 2001 23:25:25 +0100 | wenzelm | Isar: 'induct' proper support for mutual induction involving | changeset | files |