]>
2012-11-22 | Ferruccio Guidi | - local environment refinement for the first recursive... | blob | commitdiff | raw |
2012-11-13 | Ferruccio Guidi | - one axiom removed from sd | blob | commitdiff | raw | diff to current |
2012-11-07 | Ferruccio Guidi | - commit completed!! | blob | commitdiff | raw | diff to current |