Nominal/Abs.thy
2010-03-02 Cezary Kaliszyk Fixed eqvt code.
2010-02-25 Christian Urban merged
2010-02-25 Christian Urban moved Nominal to "toplevel"
less more (0) tip