isabelle: Changelog

blanchet [Thu, 22 Oct 2009 16:34:30 +0200] rev 33193

wrap line correctly in Nitpick documentation

blanchet [Thu, 22 Oct 2009 14:51:47 +0200] rev 33192

added Nitpick's theory and ML files to Isabelle/HOL; the examples and the documentation are on their way.

blanchet [Thu, 22 Oct 2009 14:45:20 +0200] rev 33191

Added Nitpick manual.

berghofe [Mon, 26 Oct 2009 14:54:43 +0100] rev 33190

merged

berghofe [Mon, 26 Oct 2009 14:53:33 +0100] rev 33189

Added Pattern.thy to Nominal/Examples.

haftmann [Mon, 26 Oct 2009 12:23:59 +0100] rev 33188

merged

haftmann [Mon, 26 Oct 2009 10:51:42 +0100] rev 33187

tuned

haftmann [Mon, 26 Oct 2009 10:51:42 +0100] rev 33186

added SML_Quickcheck import

haftmann [Mon, 26 Oct 2009 10:51:41 +0100] rev 33185

tuned code setup for primitive boolean connectors

haftmann [Mon, 26 Oct 2009 09:41:26 +0100] rev 33184

legacy warnings for old-style term styles

isabelle