Nominal/Eqvt.thy
2011-02-28 Christian Urban included old test cases for perm_simp into ROOT.ML file
less more (0) tip