Mon, 09 Aug 2010 15:38:46 +0200 | haftmann | dropped idle local_facts argument; factored out theory_abbrev and locale_abbrev | changeset | files |
Mon, 09 Aug 2010 15:20:50 +0200 | haftmann | more convenient order | changeset | files |
Mon, 09 Aug 2010 15:19:45 +0200 | haftmann | dropped misleading comments | changeset | files |