isabelle: File revisions

src/HOL/Nitpick.thy

2009-11-17	blanchet	2009-11-17	bump up Nitpick's axiom/definition unfolding limits, because some real-world problems (e.g. from Boogie) ran into the previous limits; the limits are there to prevent infinite recursion; they can be set arbitrarily high without much harm	file \| diff \| annotate
2009-11-11	haftmann	2009-11-11	tuned imports	file \| diff \| annotate
2009-10-28	blanchet	2009-10-28	merged my Auto Nitpick change with Lukas's Predicate Compiler changes	file \| diff \| annotate
2009-10-28	blanchet	2009-10-28	introduced Auto Nitpick in addition to Auto Quickcheck; this required generalizing the theorem hook used by Quickcheck, following a suggestion by Florian	file \| diff \| annotate
2009-10-27	blanchet	2009-10-27	renamed Nitpick option "coalesce_type_vars" to "merge_type_vars" (shorter) and cleaned up old hacks that are no longer necessary	file \| diff \| annotate
2009-10-27	haftmann	2009-10-27	dropped obsolete comment	file \| diff \| annotate
2009-10-22	blanchet	2009-10-22	added Nitpick's theory and ML files to Isabelle/HOL; the examples and the documentation are on their way.	file \| diff \| annotate

isabelle