Tue, 22 Jun 2010 12:19:06 +0200 | blanchet | make the Nitpick_Example theory processable even when Kodkodi is not installed; | changeset | files |
Wed, 23 Jun 2010 10:05:13 +0200 | hoelzl | Make latex happy | changeset | files |
Wed, 23 Jun 2010 08:44:44 +0200 | Cezary Kaliszyk | Quotient package now uses Partial Equivalence instead place of equivalence | changeset | files |