src/HOL/Nominal/Examples/Pattern.thy
Mon, 21 Feb 2011 17:43:23 +0100 wenzelm modernized specifications;
less more (0) -1 tip