]>
2019-08-23 | Ferruccio Guidi | update in ground_2 static_2 basic_2 | blob | commitdiff | raw |
2014-06-19 | Ferruccio Guidi | - some pending conjectures closed in basic_2 and ground_2 | blob | commitdiff | raw | diff to current |
2014-02-22 | Ferruccio Guidi | addition of unused material :) | blob | commitdiff | raw | diff to current |