| Sat, 03 Mar 2012 23:43:21 +0100 | haftmann | one unified Importer theory | file | diff | annotate |
| Sat, 03 Mar 2012 23:18:23 +0100 | haftmann | import all importer theories in compatibility layer | file | diff | annotate |
| Sat, 03 Mar 2012 21:51:38 +0100 | haftmann | distribution of compatibility theories | file | diff | annotate |
| Sat, 03 Mar 2012 21:42:41 +0100 | haftmann | formal infrastructure for import sessions | file | diff | annotate |