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 |