Tue, 23 Feb 2010 12:14:29 +0100 | blanchet | improved precision of small sets in Nitpick | changeset | files |
Tue, 23 Feb 2010 11:05:32 +0100 | blanchet | improved Nitpick's support for quotient types | changeset | files |
Tue, 23 Feb 2010 12:02:32 +0100 | hoelzl | Forgot to check NSA in changeset e4a431b6d9b7 ; Removed import of Integration | changeset | files |