nominal2: File revisions

Nominal/Abs.thy

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
Thu, 04 Mar 2010 15:31:21 +0100	Christian Urban	more proofs in Abs and work on Core Haskell	file \| diff \| annotate
Wed, 03 Mar 2010 19:10:40 +0100	Christian Urban	added a lemma that permutations can be represented as sums of swapping	file \| diff \| annotate

nominal2