nominal2: File revisions

Nominal/Ex/CPS/CPS2_DanvyNielsen.thy

Mon, 19 May 2014 16:45:46 +0100	Christian Urban	changed nominal_primrec to nominal_function and termination to nominal_termination	file \| diff \| annotate
Mon, 19 May 2014 12:45:26 +0100	Christian Urban	changed nominal_primrec into the more appropriate nominal_function	file \| diff \| annotate
Mon, 24 Mar 2014 15:31:17 +0000	Christian Urban	updated to massive changes in Isabelle	file \| diff \| annotate
Thu, 13 Mar 2014 09:21:31 +0000	Christian Urban	updated to Isabelle changes	file \| diff \| annotate
Tue, 07 Aug 2012 18:54:52 +0100	Christian Urban	definition of an auxiliary graph in nominal-primrec definitions	file \| diff \| annotate
Sun, 15 Jul 2012 13:03:47 +0100	Christian Urban	added a simproc for alpha-equivalence to the simplifier	file \| diff \| annotate
Thu, 12 Jul 2012 10:11:32 +0100	Christian Urban	streamlined definition of alpha-equivalence for single binders (used flip instead of swap)	file \| diff \| annotate
Tue, 12 Jun 2012 01:23:52 +0100	Christian Urban	added finfun-type to Nominal	file \| diff \| annotate

nominal2