2010-02-18 | Cezary Kaliszyk | Fix for new Isabelle (primrec) | file | diff | annotate |
2010-02-17 | Cezary Kaliszyk | Wrapped the permutation code. | file | diff | annotate |
2010-02-17 | Cezary Kaliszyk | Simplifying perm_eq | file | diff | annotate |
2010-02-16 | Cezary Kaliszyk | Minor | file | diff | annotate |
2010-02-16 | Cezary Kaliszyk | Ported Stefan's permutation code, still needs some localizing. | file | diff | annotate |