src/HOL/Nominal/Examples/CR.thy
Tue, 13 Aug 2013 16:25:47 +0200 wenzelm standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
Sun, 16 Jan 2011 15:53:03 +0100 wenzelm tuned headers;
Thu, 22 May 2008 16:34:41 +0200 urbanc made the naming of the induction principles consistent: weak_induct is
Mon, 28 Jan 2008 08:14:31 +0100 urbanc tuned the proof of the substitution lemma
Fri, 04 Jan 2008 09:34:11 +0100 urbanc adapted to new inversion rules
Wed, 11 Jul 2007 11:36:06 +0200 berghofe Renamed inductive2 to inductive.
Thu, 14 Jun 2007 23:04:36 +0200 wenzelm tuned proofs: avoid implicit prems;
less more (0) -30 -10 -7 tip