Quot/Nominal/Perm.thy
Wed, 17 Feb 2010 13:54:35 +0100 Cezary Kaliszyk Wrapped the permutation code.
Wed, 17 Feb 2010 09:26:10 +0100 Cezary Kaliszyk Simplifying perm_eq
Tue, 16 Feb 2010 15:12:49 +0100 Cezary Kaliszyk Minor
Tue, 16 Feb 2010 14:57:22 +0100 Cezary Kaliszyk Ported Stefan's permutation code, still needs some localizing.
less more (0) tip