nominal2: File revisions

Nominal/nominal_dt_alpha.ML

Fri, 12 Nov 2010 01:20:53 +0000	Christian Urban	automated permute_bn functions (raw ones first)	file \| diff \| annotate
Wed, 10 Nov 2010 13:46:21 +0000	Christian Urban	adapted to changes by Florian on the quotient package and removed local fix for function package	file \| diff \| annotate
Mon, 20 Sep 2010 21:52:45 +0800	Christian Urban	introduced a general procedure for structural inductions; simplified reflexivity proof	file \| diff \| annotate
Sun, 12 Sep 2010 22:46:40 +0800	Christian Urban	tuned code	file \| diff \| annotate
Sat, 11 Sep 2010 05:56:49 +0800	Christian Urban	tuned (to conform with indentation policy of Markus)	file \| diff \| annotate
Fri, 10 Sep 2010 09:17:40 +0800	Christian Urban	supp-proofs work except for CoreHaskell and Modules (induct is probably not finding the correct instance)	file \| diff \| annotate
Sat, 04 Sep 2010 06:48:14 +0800	Christian Urban	renamed alpha_gen -> alpha_set and Abs -> Abs_set etc	file \| diff \| annotate
Fri, 03 Sep 2010 22:22:43 +0800	Christian Urban	made the fv-definition aggree more with alpha (needed in the support proofs)	file \| diff \| annotate

nominal2