2007-02-23 | haftmann | tuned | changeset | files |
2007-02-23 | haftmann | add_path for naming in proof contexts | changeset | files |
2007-02-23 | haftmann | locale: add_locale accepts explicit predicate name, interpretation supports non-mandatory prefixes | changeset | files |
2007-02-23 | haftmann | slightly tuned | changeset | files |
2007-02-23 | haftmann | slight cleanup | changeset | files |
2007-02-23 | haftmann | adjusted code lemmas | changeset | files |
2007-02-23 | haftmann | continued | changeset | files |
Loading... |