Quot/Nominal/Terms.thy
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.
Sat, 20 Feb 2010 06:31:03 +0100 Cezary Kaliszyk Some adaptation
less more (0) -30 -10 -4 tip