Nominal/Ex/BetaCR.thy
Tue, 20 Dec 2011 16:12:32 +0900 Cezary Kaliszyk Lift substitution of an Abstraction for BetaCR :)
Tue, 20 Dec 2011 11:40:04 +0900 Cezary Kaliszyk Tuned renaming
Mon, 19 Dec 2011 16:39:20 +0900 Cezary Kaliszyk Retry Beta using a reduction relation and its reflexive-symmetric-transitive closure.
less more (0) tip