nominal2: File revisions

Nominal/nominal_dt_rawfuns.ML

Thu, 14 Oct 2010 04:14:22 +0100	Christian Urban	major reorganisation of fset (renamed fset_to_set to fset, changed the definition of list_eq and fcard_raw)	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, 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 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 09:02:06 +0800	Christian Urban	can now deal with type variables in nominal datatype definitions	file \| diff \| annotate
Wed, 18 Aug 2010 00:19:15 +0800	Christian Urban	improved runtime slightly, by constructing an explicit size measure for the function definitions	file \| diff \| annotate
Tue, 17 Aug 2010 18:17:53 +0800	Christian Urban	more tuning of the code	file \| diff \| annotate
Tue, 17 Aug 2010 17:52:25 +0800	Christian Urban	improved code	file \| diff \| annotate

nominal2