]>
2007-02-25 | Ferruccio Guidi | RELATIONAL: new undecomposable definition of NLE | blob | commitdiff | raw |
2007-02-19 | Ferruccio Guidi | Unified-Sub: lift_comm completed | blob | commitdiff | raw | diff to current |
2007-02-15 | Ferruccio Guidi | refactoring | blob | commitdiff | raw | diff to current |
2007-02-14 | Ferruccio Guidi | some improvements | blob | commitdiff | raw | diff to current |
2007-01-06 | Enrico Tassi | ;auto fixed | blob | commitdiff | raw | diff to current |
2006-11-11 | Ferruccio Guidi | NLE is now derived fron NPlus rather than being a stand... | blob | commitdiff | raw | diff to current |
2006-10-26 | Claudio Sacerdoti... | More timeout added to autos here and there. | blob | commitdiff | raw | diff to current |
2006-10-10 | Claudio Sacerdoti... | auto => auto new | blob | commitdiff | raw | diff to current |
2006-08-29 | Ferruccio Guidi | - new tactic subst removes simple non recursive equalit... | blob | commitdiff | raw | diff to current |
2006-08-24 | Ferruccio Guidi | some properties of NLE | blob | commitdiff | raw | diff to current |