Thu, 30 Nov 2006 17:42:23 +0100 | wenzelm | notes: proper naming of thm proof, activated import_export_proof; | changeset | files |
Thu, 30 Nov 2006 17:42:21 +0100 | wenzelm | added full_name; | changeset | files |
Thu, 30 Nov 2006 16:48:42 +0100 | wenzelm | notes: more careful treatment of Goal.close_result; | changeset | files |