Nominal/Term5.thy
2010-02-25 Cezary Kaliszyk Split Terms into separate files and add them to tests.
less more (0) tip