nominal2: File revisions

Nominal/Ex/Beta.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, 19 Dec 2011 14:20:25 +0900	Cezary Kaliszyk	Disproved the property described as 'Tzevelakos'.	file \| diff \| annotate
Fri, 16 Dec 2011 16:01:12 +0900	Cezary Kaliszyk	Beta: equ and equ2 are not the same relations, equ2 seems not to be beta-eta equality.	file \| diff \| annotate
Thu, 15 Dec 2011 16:20:11 +0000	Christian Urban	a bit more on alpha-beta-equated terms	file \| diff \| annotate
Sat, 26 Nov 2011 09:53:52 +0000	Christian Urban	a few more experiments with alpha-beta	file \| diff \| annotate
Thu, 10 Nov 2011 01:15:19 +0000	Christian Urban	proved supp for QVar; QApp still fails - probably stronger condistion is needed	file \| diff \| annotate
Wed, 09 Nov 2011 11:44:01 +0000	Christian Urban	added initial test about alpha-beta-equated terms	file \| diff \| annotate

nominal2