| 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 |