| Wed, 20 Jan 2010 10:38:06 +0100 | blanchet | some work on Nitpick's support for quotient types; | changeset | files |
| Thu, 14 Jan 2010 17:06:35 +0100 | blanchet | removed the Nitpick code that loaded the "Nitpick" theory explicitly if it's not already loaded, because this didn't work properly and is of doubtful value | changeset | files |