| Wed, 23 Nov 2005 18:52:05 +0100 | wenzelm | Provers/induct: definitional insts and fixing; | changeset | files |
| Wed, 23 Nov 2005 18:52:04 +0100 | wenzelm | consume: proper treatment of defs; | changeset | files |
| Wed, 23 Nov 2005 18:52:03 +0100 | wenzelm | added case_conclusion attribute; | changeset | files |
| Wed, 23 Nov 2005 18:52:02 +0100 | wenzelm | (co)induct: taking; | changeset | files |