Quot/Nominal/Perm.thy
2010-02-18 Cezary Kaliszyk Fix for new Isabelle (primrec)
2010-02-17 Cezary Kaliszyk Wrapped the permutation code.
2010-02-17 Cezary Kaliszyk Simplifying perm_eq
2010-02-16 Cezary Kaliszyk Minor
2010-02-16 Cezary Kaliszyk Ported Stefan's permutation code, still needs some localizing.
less more (0) tip