Sat, 15 Nov 2008 21:31:19 +0100 | wenzelm | name_of_thm: Proofterm.fold_proof_atoms; | changeset | files |
Sat, 15 Nov 2008 21:31:17 +0100 | wenzelm | Thm.proof_of returns proof_body; | changeset | files |
Sat, 15 Nov 2008 21:31:15 +0100 | wenzelm | clean: added HOL-Main; | changeset | files |