| Sat, 03 Mar 2012 23:18:23 +0100 | haftmann | import all importer theories in compatibility layer | file | diff | annotate |
| Sat, 03 Mar 2012 22:37:56 +0100 | haftmann | tuned whitespace | 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 |