2008-11-16 | wenzelm | put_name/thm_proof: promises are filled with fulfilled proofs; | changeset | files |
2008-11-16 | wenzelm | proof_body/pthm: removed redundant types field; | changeset | files |
2008-11-16 | wenzelm | clarified Thm.proof_body_of vs. Thm.proof_of; | changeset | files |
Loading... |