isabelle: File revisions

src/HOL/Nitpick_Examples/Mini_Nits.thy

Sat, 24 Dec 2011 15:53:10 +0100	haftmann	adjusted to set/pred distinction by means of type constructor `set`	file \| diff \| annotate
Fri, 23 Sep 2011 14:25:53 +0200	blanchet	first step towards extending Minipick with more translations	file \| diff \| annotate
Wed, 21 Sep 2011 15:55:16 +0200	blanchet	reintroduced Minipick as Nitpick example	file \| diff \| annotate
Tue, 22 Jun 2010 12:19:06 +0200	blanchet	make the Nitpick_Example theory processable even when Kodkodi is not installed;	file \| diff \| annotate
Wed, 10 Mar 2010 19:21:59 +0100	blanchet	improve precision of "card" in Nitpick	file \| diff \| annotate
Mon, 22 Feb 2010 19:31:00 +0100	blanchet	enabled Nitpick's support for quotient types + shortened the Nitpick tests a bit	file \| diff \| annotate
Fri, 05 Feb 2010 14:27:21 +0100	blanchet	added hotel key card example for Nitpick, and renumber atoms in Nitpick's output for increased readability	file \| diff \| annotate
Fri, 23 Oct 2009 18:59:24 +0200	blanchet	continuation of Nitpick's integration into Isabelle;	file \| diff \| annotate

isabelle