]>
2016-01-31 | Ferruccio Guidi | renaming ... | tree | commitdiff |
2014-08-06 | Ferruccio Guidi | - some renaming and minor updates | tree | commitdiff |
2014-07-14 | Ferruccio Guidi | some renaming and some typos corrected ... | tree | commitdiff |
2014-06-08 | Ferruccio Guidi | - some work on append | tree | commitdiff |
2013-11-01 | Ferruccio Guidi | - lambdadelta: first commutation property on lazy equiv... | tree | commitdiff |
2013-08-01 | Ferruccio Guidi | partial commit: just the components before "static... | tree | commitdiff |
2013-07-26 | Ferruccio Guidi | lambdadelta | tree | commitdiff |