Nominal/Ex/CR.thy
2011-12-22 Christian Urban fixed problem with equivariance for beta_star
2011-12-21 Cezary Kaliszyk Remove transitivity from the definition of One_star and show it instead.
2011-12-21 Cezary Kaliszyk Port CR_Takahashi from Nominal1, no more "sorry" in BetaCR.
less more (0) tip