nominal2: File revisions

Nominal/nominal_dt_supp.ML

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
Wed, 22 Sep 2010 23:17:25 +0200	Christian Urban	removed dead code	file \| diff \| annotate
Wed, 22 Sep 2010 14:19:48 +0800	Christian Urban	made supp proofs more robust by not using the standard induction; renamed some example files	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
Sun, 29 Aug 2010 01:45:07 +0800	Christian Urban	added fs-instance proofs	file \| diff \| annotate
Sun, 29 Aug 2010 01:17:36 +0800	Christian Urban	added proofs for fsupp properties	file \| diff \| annotate
Sun, 29 Aug 2010 00:36:47 +0800	Christian Urban	fiexed problem with constructors that have no arguments	file \| diff \| annotate
Sun, 29 Aug 2010 00:09:45 +0800	Christian Urban	proved supports lemmas	file \| diff \| annotate

nominal2