| Sun, 16 Nov 2008 22:12:44 +0100 | wenzelm | proof_body/pthm: removed redundant types field; | changeset | files |
| Sun, 16 Nov 2008 22:12:43 +0100 | wenzelm | put_name/thm_proof: promises are filled with fulfilled proofs; | changeset | files |
| Sun, 16 Nov 2008 22:12:41 +0100 | wenzelm | proof_body/pthm: removed redundant types field; | changeset | files |
| Sun, 16 Nov 2008 20:03:42 +0100 | wenzelm | clarified Thm.proof_body_of vs. Thm.proof_of; | changeset | files |
| Sun, 16 Nov 2008 18:19:27 +0100 | berghofe | - Corrected order of quantification over Frees. | changeset | files |
| Sun, 16 Nov 2008 18:18:45 +0100 | berghofe | Frees in PThms are now quantified in the order of their appearance in the | changeset | files |