Thu, 22 Oct 1998 10:57:18 +0200 | paulson | locales | changeset | files |
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 |