src/HOL/Nominal/Examples/Crary.thy
Tue, 03 Sep 2013 01:12:40 +0200 wenzelm tuned proofs -- clarified flow of facts wrt. calculation;
Tue, 13 Aug 2013 16:25:47 +0200 wenzelm standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
Wed, 05 Sep 2012 20:19:37 +0200 wenzelm tuned proofs;
Mon, 21 Feb 2011 17:43:23 +0100 wenzelm modernized specifications;
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Mon, 21 Sep 2009 15:02:23 +0200 Christian Urban tuned some proofs
Sat, 13 Dec 2008 13:24:45 +0100 berghofe Modified nominal_primrec to make it work with local theories, unified syntax
less more (0) -30 -10 -7 tip