Nominal/Ex/TypeVarsTest.thy
2010-12-22 Christian Urban tuned examples
2010-12-22 Christian Urban properly exported strong exhaust theorem; cleaned up some examples
2010-11-15 Christian Urban proved that bn functions return a finite set
2010-11-07 Christian Urban fixed locally the problem with the function package; all tests work again
2010-11-06 Christian Urban added a test about subtyping; disabled two tests, because of problem with function package
2010-08-29 Christian Urban renamed NewParser to Nominal2
2010-08-26 Christian Urban "isabelle make test" makes all major examples....they work up to supp theorems (excluding)
2010-08-25 Christian Urban cleaned up (almost completely) the examples
less more (0) tip