| 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 |
| Mon, 12 Jul 2010 22:17:31 +0200 | wenzelm | removed impractical tolerate_legacy_features flag; | changeset | files |
| Mon, 12 Jul 2010 22:14:11 +0200 | wenzelm | tuned comment; | changeset | files |
| Mon, 12 Jul 2010 22:07:36 +0200 | wenzelm | removed legacy aliases; | changeset | files |
| Mon, 12 Jul 2010 21:38:37 +0200 | wenzelm | moved misc legacy stuff from OldGoals to Misc_Legacy; | changeset | files |