2019-12-28 | Richard W.M. Jones | Implement tactics. | blob | commitdiff |
2019-12-27 | Richard W.M. Jones | Hard code *file tactic. | blob | commitdiff | diff to current |
2019-12-23 | Richard W.M. Jones | Define *file() syntax for tactic constructors. | blob | commitdiff | diff to current |
2019-12-23 | Richard W.M. Jones | Basic evaluation. | blob | commitdiff | diff to current |