| 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 |
| Mon, 09 Aug 2010 15:40:06 +0200 | haftmann | merged | changeset | files |
| Mon, 09 Aug 2010 14:47:28 +0200 | haftmann | separated foundation of `notes` | changeset | files |
| Mon, 09 Aug 2010 14:20:21 +0200 | haftmann | more clear separation into local and global facts | changeset | files |
| Mon, 09 Aug 2010 14:07:23 +0200 | haftmann | sharpened and tuned educated guess for canonical class morphism | changeset | files |