blanchet [Tue, 01 Jun 2010 17:28:16 +0200] rev 37268
cosmetics
blanchet [Tue, 01 Jun 2010 17:04:21 +0200] rev 37267
adapt example
blanchet [Tue, 01 Jun 2010 16:17:46 +0200] rev 37266
fix code that used to raise an exception if bound variables were given a finite function type, because the old vs. new bound variable types were confused
blanchet [Tue, 01 Jun 2010 15:53:15 +0200] rev 37265
improved precision of "set" based on an example from Lukas
blanchet [Tue, 01 Jun 2010 15:43:20 +0200] rev 37264
remove debug output
blanchet [Tue, 01 Jun 2010 15:38:47 +0200] rev 37263
removed "nitpick_intro" attribute -- Nitpick noew uses Spec_Rules instead
blanchet [Tue, 01 Jun 2010 15:37:14 +0200] rev 37262
subsumed by NEWS -- for older history, see previous versions of Nitpick
blanchet [Tue, 01 Jun 2010 14:54:35 +0200] rev 37261
don't show spurious "..." in Nitpick's output for free variables of set type (e.g., P (op +) example from Manual_Nits.thy); undoes parts of 38ba15040455, which was too aggressive
blanchet [Tue, 01 Jun 2010 14:14:02 +0200] rev 37260
honor xsymbols in Nitpick
blanchet [Tue, 01 Jun 2010 12:20:08 +0200] rev 37259
added "atoms" option to Nitpick (request from Karlsruhe) + wrap Refute. functions to "nitpick_util.ML"