nominal2: File revisions

Quot/Nominal/LamEx.thy

Mon, 01 Feb 2010 18:57:39 +0100	Christian Urban	repaired according to changes in Abs.thy	file \| diff \| annotate
Mon, 01 Feb 2010 15:57:37 +0100	Cezary Kaliszyk	Fixed wrong rename.	file \| diff \| annotate
Mon, 01 Feb 2010 15:45:40 +0100	Cezary Kaliszyk	Lambda based on alpha_gen, under construction.	file \| diff \| annotate
Mon, 01 Feb 2010 09:56:32 +0100	Cezary Kaliszyk	Ported LF to the generic lambda and solved the simpler _supp cases.	file \| diff \| annotate
Sat, 30 Jan 2010 11:44:25 +0100	Christian Urban	introduced a generic alpha (but not sure whether it is helpful)	file \| diff \| annotate
Fri, 29 Jan 2010 07:09:52 +0100	Christian Urban	now also final step is proved - the supp of lambdas is now completely characterised	file \| diff \| annotate
Fri, 29 Jan 2010 00:22:00 +0100	Christian Urban	*the supp of a lambda can now be characterised, provided* the notion of free variables coincides with support on lambda terms**	file \| diff \| annotate
Thu, 28 Jan 2010 15:47:35 +0100	Christian Urban	attempt of a general abstraction operator	file \| diff \| annotate

nominal2