Wed, 12 May 2010 11:07:46 +0200 | hoelzl | added NEWS entry | changeset | files |
Tue, 11 May 2010 19:19:45 +0200 | hoelzl | Added atLeastAtMost_singleton_iff, atLeastAtMost_singleton' | changeset | files |
Tue, 11 May 2010 19:21:39 +0200 | hoelzl | Add rules directly to the corresponding class locales instead. | changeset | files |