2010-02-25 | Christian Urban | moved Nominal to "toplevel" | changeset | files |
2010-02-25 | Cezary Kaliszyk | Export perm_frees. | changeset | files |
2010-02-24 | Cezary Kaliszyk | Restructuring the code in Perm | changeset | files |
2010-02-24 | Cezary Kaliszyk | Simplified and finised eqvt proofs for t1 and t5 | changeset | files |
Loading... |