2019-12-27 | Richard W.M. Jones | Actually run goal code. | tree | commitdiff |
2019-12-27 | Richard W.M. Jones | Hard code *file tactic. | tree | commitdiff |
2019-12-23 | Richard W.M. Jones | Define *file() syntax for tactic constructors. | tree | commitdiff |
2019-12-23 | Richard W.M. Jones | Basic evaluation. | tree | commitdiff |