Tue, 04 May 2010 10:02:43 +0200 | haftmann | avoid if on rhs of default simp rules | changeset | files |
Tue, 04 May 2010 09:25:38 +0200 | krauss | avoid exception Empty on malformed goal | changeset | files |
Tue, 04 May 2010 08:55:43 +0200 | haftmann | locale predicates of classes carry a mandatory "class" prefix | changeset | files |