blanchet [Thu, 04 Feb 2010 16:50:26 +0100] rev 35071
adapted example following previous Nitpick change and fixed minor optimization in Nitpick
blanchet [Thu, 04 Feb 2010 16:03:15 +0100] rev 35070
split "nitpick_hol.ML" into two files to make it more manageable;
more refactoring to come
wenzelm [Wed, 10 Feb 2010 00:50:36 +0100] rev 35069
removed obsolete CVS Ids;
wenzelm [Wed, 10 Feb 2010 00:46:56 +0100] rev 35068
modernized translations;
wenzelm [Wed, 10 Feb 2010 00:45:16 +0100] rev 35067
modernized syntax translations, using mostly abbreviation/notation;
minor tuning;
haftmann [Tue, 09 Feb 2010 16:07:09 +0100] rev 35066
simple proofs make life faster and easier
haftmann [Tue, 09 Feb 2010 14:32:16 +0100] rev 35065
merged
haftmann [Tue, 09 Feb 2010 11:47:47 +0100] rev 35064
hide fact names clashing with fact names from Group.thy
haftmann [Tue, 09 Feb 2010 11:07:14 +0100] rev 35063
dropped lemma duplicates
wenzelm [Tue, 09 Feb 2010 13:54:27 +0100] rev 35062
isatest: activated HOL-Nitpick_Examples (by adding component kodkodi) on some platforms where it mostly works as expected;