Quot/Nominal/Terms.thy
2010-01-27 Christian Urban added Terms to Nominal - Instantiation of two types does not work (ask Florian)
less more (0) tip