Fri, 24 Jul 1998 13:27:23 +0200 | berghofe | Added theorem ex1_implies_ex. | changeset | files |
Fri, 24 Jul 1998 13:19:38 +0200 | berghofe | Adapted to new datatype package. | changeset | files |
Fri, 24 Jul 1998 13:03:20 +0200 | berghofe | Adapted to new datatype package. | changeset | files |