Nominal/Equivp.thy
2010-04-14 Cezary Kaliszyk Initial cleaning/reorganization in Fv.
less more (0) tip