Fri, 16 Jan 2009 14:58:11 +0100 | haftmann | migrated class package to new locale implementation | file | diff | annotate |
Sun, 11 Jan 2009 14:18:16 +0100 | haftmann | construct explicit class morphism | file | diff | annotate |
Tue, 06 Jan 2009 08:50:02 +0100 | haftmann | locale -> old_locale, new_locale -> locale | file | diff | annotate |
Mon, 05 Jan 2009 15:55:04 +0100 | haftmann | locale -> old_locale, new_locale -> locale | file | diff | annotate |
Mon, 05 Jan 2009 15:36:24 +0100 | haftmann | rearranged target theories | file | diff | annotate | base |