isabelle: File revisions

src/HOL/Nitpick_Examples/Manual_Nits.thy

Wed, 21 Apr 2010 14:46:29 +0200	blanchet	use only one thread in "Manual_Nits";	file \| diff \| annotate
Fri, 12 Mar 2010 12:02:22 +0100	blanchet	make tests less demanding, to prevent sporadic failures	file \| diff \| annotate
Thu, 11 Mar 2010 17:48:07 +0100	blanchet	moved some Nitpick code around	file \| diff \| annotate
Thu, 11 Mar 2010 15:33:45 +0100	blanchet	added a mechanism to Nitpick to support custom rendering of terms, and used it for multisets	file \| diff \| annotate
Thu, 11 Mar 2010 12:22:11 +0100	blanchet	added term postprocessor to Nitpick, to provide custom syntax for typedefs	file \| diff \| annotate
Thu, 11 Mar 2010 10:13:24 +0100	blanchet	made "Manual_Nits" tests more robust	file \| diff \| annotate
Tue, 09 Mar 2010 14:18:21 +0100	blanchet	improved Nitpick's precision for "card" and "setsum" + fix incorrect outcome code w.r.t. "bisim_depth = -1"	file \| diff \| annotate
Tue, 09 Mar 2010 09:25:23 +0100	blanchet	added "finitize" option to Nitpick + remove dependency on "Coinductive_List"	file \| diff \| annotate

isabelle