Thu, 25 Oct 2001 02:11:49 +0200 | wenzelm | (simp add: point.make_def); | changeset | files |
Thu, 25 Oct 2001 02:11:28 +0200 | wenzelm | provodes induct/cases for use with corresponding Isar methods; | changeset | files |
Wed, 24 Oct 2001 19:20:02 +0200 | wenzelm | further 1.73 changes: added fix_direct, simplified assume interface; | changeset | files |