Nominal/Ex/Pi.thy
2011-12-23 Christian Urban included Pi theory in tests
less more (0) tip