nominal2: File revisions

Nominal/ROOT.ML

Mon, 15 Nov 2010 08:17:11 +0000	Christian Urban	added a test for the various shallow binders	file \| diff \| annotate
Sun, 14 Nov 2010 16:34:47 +0000	Christian Urban	merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy	file \| diff \| annotate
Sat, 06 Nov 2010 06:18:41 +0000	Christian Urban	added a test about subtyping; disabled two tests, because of problem with function package	file \| diff \| annotate
Tue, 28 Sep 2010 05:56:11 -0400	Christian Urban	added Foo1 to explore a contrived example	file \| diff \| annotate
Wed, 22 Sep 2010 18:13:26 +0200	Christian Urban	fixed	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
Sun, 29 Aug 2010 13:36:03 +0800	Christian Urban	renamed NewParser to Nominal2	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

nominal2