| Tue, 13 Jul 2010 11:38:03 +0200 | haftmann | theorem collections do not contain default rules any longer | changeset | files |
| Tue, 13 Jul 2010 02:29:05 +0200 | boehmes | fixed handling of Ball/Bex: turn equalities into meta-equalities for the rewriting conversions; | changeset | files |
| Mon, 12 Jul 2010 22:35:41 +0200 | wenzelm | removed unused/untested IOA 'automaton' package; | changeset | files |