nominal2: File revisions

Nominal/nominal_dt_alpha.ML

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
Fri, 27 Aug 2010 03:37:17 +0800	Christian Urban	"isabelle make test" makes all major examples....they work up to supp theorems (excluding)	file \| diff \| annotate
Fri, 27 Aug 2010 02:03:52 +0800	Christian Urban	corrected bug with fv-function generation (that was the problem with recursive binders)	file \| diff \| annotate
Wed, 25 Aug 2010 23:16:42 +0800	Christian Urban	cleaning of unused files and code	file \| diff \| annotate
Wed, 25 Aug 2010 09:02:06 +0800	Christian Urban	can now deal with type variables in nominal datatype definitions	file \| diff \| annotate

nominal2