Nominal/LamEx.thy
2010-03-19 Cezary Kaliszyk Keep only one copy of infinite_Un.
2010-02-25 Christian Urban moved Nominal to "toplevel"
less more (0) tip