nominal2: File revisions

Nominal/Abs.thy

Mon, 15 Mar 2010 17:51:35 +0100	Christian Urban	proof for support when bn-function is present, but fb_function is empty	file \| diff \| annotate
Mon, 15 Mar 2010 10:02:19 +0100	Cezary Kaliszyk	Prove alpha_gen_compose_eqvt	file \| diff \| annotate
Mon, 15 Mar 2010 08:39:23 +0100	Christian Urban	added preliminary test version....but Test works now	file \| diff \| annotate
Thu, 11 Mar 2010 20:49:31 +0100	Cezary Kaliszyk	Do not fail if the finite support proof fails.	file \| diff \| annotate
Thu, 11 Mar 2010 19:43:50 +0100	Christian Urban	generalised the supp for atoms to all concrete atoms (not just names)	file \| diff \| annotate
Thu, 11 Mar 2010 19:41:11 +0100	Christian Urban	support of atoms at the end of Abs.thy	file \| diff \| annotate
Thu, 11 Mar 2010 15:10:07 +0100	Christian Urban	finally the proof that new and old alpha agree	file \| diff \| annotate
Wed, 10 Mar 2010 16:50:42 +0100	Christian Urban	almost done with showing the equivalence between old and new alpha-equivalence (one subgoal remaining)	file \| diff \| annotate

nominal2