| Tue, 17 Nov 2009 22:20:51 +0100 | blanchet | comment out debugging code in Nitpick | changeset | files |
| Tue, 17 Nov 2009 19:47:27 +0100 | blanchet | fixed bug in Nitpick's handling of "The" and "Eps" when the return type is a "bool" | changeset | files |
| Tue, 17 Nov 2009 19:12:10 +0100 | blanchet | made "NitpickHOL.normalized_rhs_of" more robust in the face of locale definitions | changeset | files |