Nominal/Term6.thy
Tue, 02 Mar 2010 11:04:49 +0100 Cezary Kaliszyk Fixed eqvt code.
Fri, 26 Feb 2010 13:57:43 +0100 Cezary Kaliszyk Permutation and FV_Alpha interface change.
Thu, 25 Feb 2010 14:14:08 +0100 Cezary Kaliszyk Split Terms into separate files and add them to tests.
less more (0) tip