Quot/Nominal/LFex.thy
Wed, 24 Feb 2010 09:58:12 +0100 Cezary Kaliszyk LF renaming part1.
Tue, 23 Feb 2010 10:47:14 +0100 Cezary Kaliszyk All works in LF but will require renaming.
Tue, 23 Feb 2010 09:34:41 +0100 Cezary Kaliszyk Reordering in LF.
less more (0) -10 -3 tip