Nominal/Ex/BetaCR.thy
Tue, 20 Dec 2011 16:49:03 +0900 Cezary Kaliszyk Remove 'HERE1' and 'HERE3'.
Tue, 20 Dec 2011 16:12:32 +0900 Cezary Kaliszyk Lift substitution of an Abstraction for BetaCR :)
less more (0) -2 tip