nominal2: File revisions

Quot/Nominal/LFex.thy

Fri, 12 Feb 2010 16:04:10 +0100	Cezary Kaliszyk	renamed 'as' to 'is' everywhere.	file \| diff \| annotate
Thu, 11 Feb 2010 14:00:00 +0100	Cezary Kaliszyk	Notation available locally	file \| diff \| annotate
Thu, 11 Feb 2010 10:06:02 +0100	Cezary Kaliszyk	Main renaming + fixes for new Isabelle in IntEx2.	file \| diff \| annotate
Mon, 08 Feb 2010 11:41:25 +0100	Cezary Kaliszyk	Proper context fixes lifting inside instantiations.	file \| diff \| annotate
Mon, 08 Feb 2010 10:47:19 +0100	Cezary Kaliszyk	Fixed the context import/export and simplified LFex.	file \| diff \| annotate
Wed, 03 Feb 2010 12:58:02 +0100	Christian Urban	another adaptation for the eqvt-change	file \| diff \| annotate
Wed, 03 Feb 2010 12:11:23 +0100	Cezary Kaliszyk	The alpha-equivalence relation for let-rec. Not sure if correct...	file \| diff \| annotate
Tue, 02 Feb 2010 13:10:46 +0100	Cezary Kaliszyk	LF ported to alpha_gen, equivp solved and one of the missing proofs in support<-> fv solved. Still some supp properties left.	file \| diff \| annotate

nominal2