| Wed, 11 Aug 2010 08:58:18 +0200 | haftmann | remove overloading and instantiation from data slot | changeset | files |
| Wed, 11 Aug 2010 18:11:07 +0200 | wenzelm | removed obsolete Toplevel.enter_proof_body; | changeset | files |
| Wed, 11 Aug 2010 18:10:39 +0200 | wenzelm | standardized pretty printing of consts (e.g. see find_theorems, print_theory); | changeset | files |
| Wed, 11 Aug 2010 18:03:02 +0200 | wenzelm | misc tuning and simplification; | changeset | files |