src/HOL/Nominal/Examples/Compile.thy
Wed, 07 Feb 2007 17:44:07 +0100 berghofe Adapted to new inductive definition package.
Mon, 27 Nov 2006 12:11:43 +0100 berghofe Adapted to new nominal_primrec command.
Mon, 23 Oct 2006 00:51:16 +0200 berghofe Adapted to changes in FCBs.
less more (0) -3 tip