Fri, 25 Sep 1998 12:01:47 +0200 | wenzelm | added REPEAT1; | changeset | files |
Thu, 24 Sep 1998 21:32:12 +0200 | wenzelm | create an instance of the Isabelle logo; | changeset | files |
Thu, 24 Sep 1998 21:19:01 +0200 | wenzelm | generic eps version; | changeset | files |
Thu, 24 Sep 1998 17:18:33 +0200 | oheimb | simplified CLASIMP_DATA | changeset | files |
Thu, 24 Sep 1998 17:17:56 +0200 | oheimb | removed addcongs2 and delcongs2 | changeset | files |
Thu, 24 Sep 1998 17:17:14 +0200 | oheimb | renamed mk_meta_eq to mk_eq | changeset | files |