src/HOL/Nominal/Examples/Pattern.thy
Mon, 21 Feb 2011 17:43:23 +0100 wenzelm modernized specifications;
Sat, 30 Jan 2010 17:03:46 +0100 berghofe Adapted to changes in cases method.
less more (0) -2 tip