| #
e86e6d62 |
|
30-Apr-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Implement machinery to check that tactic results change acceptably
Used to implement checks that h.o. redexes don't remain, or have
decreased in count.
This is progress towards implementation of github issue #680.
|