Wed, 21 Oct 1998 17:53:16 +0200 | berghofe | Changed interface. | changeset | files |
Wed, 21 Oct 1998 17:52:38 +0200 | berghofe | Changed interface of add_inductive: monos and con_defs are now | changeset | files |
Wed, 21 Oct 1998 17:48:02 +0200 | berghofe | Changed syntax of inductive. | changeset | files |
Wed, 21 Oct 1998 17:46:00 +0200 | berghofe | Changed syntax of rep_datatype and inductive: Theorems | changeset | files |
Wed, 21 Oct 1998 17:40:35 +0200 | berghofe | Added theorem prod_induct (needed for rep_datatype). | changeset | files |
Wed, 21 Oct 1998 17:38:47 +0200 | berghofe | Changed syntax of rep_datatype. | changeset | files |
Wed, 21 Oct 1998 16:38:46 +0200 | wenzelm | fixed field_injects; | changeset | files |