Wed, 21 Oct 1998 17:57:02 +0200 | berghofe | Changed interface of inductive. | changeset | files |
Wed, 21 Oct 1998 17:55:18 +0200 | berghofe | Changed interface of rep_datatype: Characteristic theorems | changeset | files |
Wed, 21 Oct 1998 17:53:16 +0200 | berghofe | Changed interface. | changeset | files |