src/HOL/Nominal/Examples/CR.thy
Thu, 14 Jun 2007 23:04:36 +0200 wenzelm tuned proofs: avoid implicit prems;
Fri, 27 Apr 2007 18:50:27 +0200 urbanc tuned some proofs in CR and properly included CR_Takahashi
Thu, 19 Apr 2007 16:38:59 +0200 berghofe nominal_inductive no longer proves equivariance.
less more (0) -10 -3 tip