| 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 |
| Sat, 15 Nov 2008 21:31:37 +0100 | wenzelm | adapted PThm and MinProof; | changeset | files |
| Sat, 15 Nov 2008 21:31:36 +0100 | wenzelm | retrieve thm deps from proof_body; | changeset | files |
| Sat, 15 Nov 2008 21:31:35 +0100 | wenzelm | retrieve thm deps from proof_body; | changeset | files |
| Sat, 15 Nov 2008 21:31:32 +0100 | wenzelm | adapted PThm; | changeset | files |
| Sat, 15 Nov 2008 21:31:30 +0100 | wenzelm | proof_of_term: removed obsolete disambiguisation table; | changeset | files |
| Sat, 15 Nov 2008 21:31:29 +0100 | wenzelm | rewrite_proof: simplified simprocs (no name required); | changeset | files |