]>
2010-01-08 | Andrea Asperti | Support for the new // tactics. | blob | commitdiff | raw |
2009-12-21 | Andrea Asperti | Refining with no expected type + unification seems... | blob | commitdiff | raw | diff to current |
2009-12-21 | Andrea Asperti | Trying to be faster. | blob | commitdiff | raw | diff to current |
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 |