2010-05-09 Christian Urban cleaned up a bit the examples; added equivariance to all examples
2010-05-09 Christian Urban fixed the problem with alpha containing splits
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
2010-05-07 Cezary Kaliszyk Manually added some newer keywords from the distribution
2010-05-07 Cezary Kaliszyk Regularize experiments
2010-05-06 Cezary Kaliszyk alpha_eqvt_tac with prod_rel and prod_fv simps
Loading...
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip