Nominal/Abs.thy
Wed, 17 Mar 2010 09:25:01 +0100 Cezary Kaliszyk Fix for the change of alpha_gen.
Wed, 17 Mar 2010 09:18:27 +0100 Cezary Kaliszyk merge
less more (0) -10 -2 tip