Quot/Nominal/LFex.thy
Wed, 24 Feb 2010 10:08:54 +0100 Cezary Kaliszyk LF renaming part 2 (proper fv functions)
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.
less more (0) -10 -3 tip