Quot/Nominal/Terms.thy
Mon, 22 Feb 2010 12:12:32 +0100 Cezary Kaliszyk alpha reflexivity
Mon, 22 Feb 2010 10:57:39 +0100 Cezary Kaliszyk Renaming.
Mon, 22 Feb 2010 10:39:05 +0100 Cezary Kaliszyk Added missing description.
Sun, 21 Feb 2010 22:39:11 +0100 Cezary Kaliszyk Removed bindings 'in itself' where possible.
less more (0) -30 -10 -4 tip