nominal2: File revisions

Nominal/Ex/TypeVarsTest.thy

Wed, 22 Dec 2010 21:13:44 +0000	Christian Urban	tuned examples	file \| diff \| annotate
Wed, 22 Dec 2010 09:13:25 +0000	Christian Urban	properly exported strong exhaust theorem; cleaned up some examples	file \| diff \| annotate
Mon, 15 Nov 2010 09:52:29 +0000	Christian Urban	proved that bn functions return a finite set	file \| diff \| annotate
Sun, 07 Nov 2010 11:22:31 +0000	Christian Urban	fixed locally the problem with the function package; all tests work again	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
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
Thu, 26 Aug 2010 02:08:00 +0800	Christian Urban	cleaned up (almost completely) the examples	file \| diff \| annotate

nominal2