]>
2009-12-04 | Andrea Asperti | Indexing local context for paramod. | blob | commitdiff | raw |
2009-11-23 | Andrea Asperti | Subsumption and reduction | blob | commitdiff | raw | diff to current |
2009-11-17 | Andrea Asperti | Closing the goal. | blob | commitdiff | raw | diff to current |
2009-11-13 | Andrea Asperti | Added the new auto version (not attached yet). | blob | commitdiff | raw | diff to current |