| 2010-05-10 | Cezary Kaliszyk | Use mk_compound_fv' and mk_compound_rel' | changeset | files |
| 2010-05-10 | Cezary Kaliszyk | merge | changeset | files |
| 2010-05-10 | Cezary Kaliszyk | Membership in a pair of lists. | changeset | files |
| 2010-05-10 | Cezary Kaliszyk | Synchronize FSet with repository | changeset | files |
| 2010-05-09 | Christian Urban | tuned file names for examples | changeset | files |
| 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 |
| Loading... | |||