Nominal-General/nominal_eqvt.ML
Sun, 09 May 2010 11:43:24 +0100 Christian Urban fixed the problem with alpha containing splits
less more (0) -1 tip