]>
2009-12-21 | Andrea Asperti | Trying to be faster. | blob | commitdiff | raw |
2009-12-10 | Andrea Asperti | Minor bag fixed, relative to failures. | blob | commitdiff | raw | diff to current |
2009-12-10 | Andrea Asperti | A compiling version? | blob | commitdiff | raw | diff to current |
2009-12-09 | Andrea Asperti | Attached fast_eq_check to auto | blob | commitdiff | raw | diff to current |
2009-12-04 | Andrea Asperti | Indexing local context for paramod. | blob | commitdiff | raw | diff to current |
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 |