Fri, 24 Jul 1998 13:36:49 +0200 | berghofe | Added functions addIffs and delIffs which operate on clasimpsets. | changeset | files |
Fri, 24 Jul 1998 13:35:47 +0200 | berghofe | Added theorem distinct_lemma (needed for datatypes). | changeset | files |
Fri, 24 Jul 1998 13:34:59 +0200 | berghofe | Declaration of type 'nat' as a datatype (this allows usage of | changeset | files |