Nominal/Ex/BetaCR.thy
2011-12-21 Cezary Kaliszyk Port CR_Takahashi from Nominal1, no more "sorry" in BetaCR.
2011-12-20 Cezary Kaliszyk Remove 'HERE1' and 'HERE3'.
2011-12-20 Cezary Kaliszyk Lift substitution of an Abstraction for BetaCR :)
2011-12-20 Cezary Kaliszyk Tuned renaming
2011-12-19 Cezary Kaliszyk Retry Beta using a reduction relation and its reflexive-symmetric-transitive closure.
less more (0) tip