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.
Tue, 23 Feb 2010 09:34:41 +0100 Cezary Kaliszyk Reordering in LF.
Mon, 22 Feb 2010 15:03:48 +0100 Cezary Kaliszyk Generalize atom_trans and atom_sym.
Fri, 12 Feb 2010 16:04:10 +0100 Cezary Kaliszyk renamed 'as' to 'is' everywhere.
less more (0) -10 -6 tip