Nominal/Ex/Term8.thy
2010-05-04 Cezary Kaliszyk Separate Term8, as it may work soon.
less more (0) tip