isabelle: File revisions

src/HOL/Nitpick_Examples/Tests_Nits.thy

Thu, 25 Nov 2021 19:56:01 +0100	wenzelm	maintain option kodkod_scala within theory context, to allow local modification;	file \| diff \| annotate
Thu, 26 May 2016 17:51:22 +0200	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate
Sun, 02 Nov 2014 18:21:45 +0100	wenzelm	modernized header uniformly as section;	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
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
Tue, 27 Oct 2009 14:40:24 +0100	blanchet	internal renaming in Nitpick and fixed Kodkodi invokation on Linux;	file \| diff \| annotate
Fri, 23 Oct 2009 18:59:24 +0200	blanchet	continuation of Nitpick's integration into Isabelle;	file \| diff \| annotate

isabelle