| Wed, 11 Aug 2010 12:30:48 +0200 | haftmann | moved overloading target formally to overloading.ML | changeset | files |
| Wed, 11 Aug 2010 12:24:24 +0200 | haftmann | moved theory-level target operation fragements to Generic_Target; adjusted bootstrap order | changeset | files |
| Wed, 11 Aug 2010 12:04:49 +0200 | haftmann | merged | changeset | files |
| Wed, 11 Aug 2010 08:59:41 +0200 | haftmann | whitespace tuning | changeset | files |
| 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 |