Nominal/Ex/TypeVarsTest.thy
2010-08-25 Christian Urban cleaned up (almost completely) the examples
less more (0) tip