nominal2: File revisions

Nominal/nominal_dt_supp.ML

Mon, 06 Dec 2010 17:11:34 +0000	Christian Urban	moved code from nominal_dt_supp to nominal_dt_quot	file \| diff \| annotate
Mon, 06 Dec 2010 16:35:42 +0000	Christian Urban	automated alpha_perm_bn theorems	file \| diff \| annotate
Mon, 06 Dec 2010 14:24:17 +0000	Christian Urban	ordered raw_bn_info to agree with the order of the raw_bn_functions; started alpha_bn proof	file \| diff \| annotate
Mon, 15 Nov 2010 09:52:29 +0000	Christian Urban	proved that bn functions return a finite set	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, 27 Sep 2010 12:19:17 -0400	Christian Urban	added postprocessed fresh-lemmas for constructors	file \| diff \| annotate
Mon, 27 Sep 2010 09:51:15 -0400	Christian Urban	post-processed eq_iff and supp threormes according to the fv-supp equality	file \| diff \| annotate
Mon, 27 Sep 2010 04:56:49 -0400	Christian Urban	more consistent naming in Abs.thy	file \| diff \| annotate

nominal2