Sun, 05 Aug 2012 22:25:16 +0200 | krauss | removed obsolete mira configurations -- covered by AFP_images | changeset | files |
Sun, 05 Aug 2012 22:00:59 +0200 | krauss | modernized mira configurations, making use of isabelle build | changeset | files |
Sun, 05 Aug 2012 15:11:09 +0200 | krauss | removed mira configurations related to old importer | changeset | files |