nominal2: File revisions

Nominal/Ex/CPS/Lt.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
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
Tue, 12 Jun 2012 01:23:52 +0100	Christian Urban	added finfun-type to Nominal	file \| diff \| annotate
Mon, 11 Jun 2012 14:02:57 +0100	Christian Urban	added CPS files to test (not all proofs have been completed)	file \| diff \| annotate
Wed, 21 Dec 2011 17:05:00 +0900	Cezary Kaliszyk	Reorder constructors to match Lambda	file \| diff \| annotate

nominal2