| 2010-05-09 | Christian Urban | cleaned up a bit the examples; added equivariance to all examples | changeset | files |
| 2010-05-09 | Christian Urban | fixed the problem with alpha containing splits | changeset | files |
| 2010-05-09 | Christian Urban | added eqvt-lemma for split; changed semantics of perm_simp: excluded stands for constants about which no complaint is written out...eqvt_apply is now always applied | changeset | files |
| 2010-05-07 | Cezary Kaliszyk | Manually added some newer keywords from the distribution | changeset | files |
| 2010-05-07 | Cezary Kaliszyk | Regularize experiments | changeset | files |
| 2010-05-06 | Cezary Kaliszyk | alpha_eqvt_tac with prod_rel and prod_fv simps | changeset | files |
| Loading... | |||