]>
2017-02-19 | Ferruccio Guidi | support for generic reducibility ... | tree | commitdiff |
2017-02-16 | Ferruccio Guidi | - cprs and cnx on the way | tree | commitdiff |
2017-01-22 | Ferruccio Guidi | - degree-based equivalene for terms | tree | commitdiff |
2016-05-22 | Ferruccio Guidi | - notational change for cpg and cpx | tree | commitdiff |
2016-05-08 | Ferruccio Guidi | some renaming and reordering of variables | tree | commitdiff |
2016-04-16 | Ferruccio Guidi | refactoring to park the notions: | tree | commitdiff |