Fri, 06 Mar 2009 15:31:26 +0100 | blanchet | merged | changeset | files |
Fri, 06 Mar 2009 15:31:07 +0100 | blanchet | Added a "nitpick_maybe" symbol, which is used by Nitpick. This will go away once Nitpick is part of HOL. | changeset | files |
Fri, 06 Mar 2009 15:51:18 +0100 | haftmann | merged | changeset | files |