Nominal/Rsp.thy
2010-05-12 Cezary Kaliszyk Move alpha_eqvt to unused.
2010-05-12 Cezary Kaliszyk merge
2010-05-12 Cezary Kaliszyk fvbv_rsp include prod_rel.simps
less more (0) -30 -10 -3 tip