| #
b7e9ed00 |
|
06-Sep-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove some stale redeclarations of things like THEN1 and >-
Similarly, remove some unnecessary infix declarations for the same
tokens.
Finally, rename an internal variant of THEN1 used inside BasicProvers
so as to make it clearer that it is an intended variant.
|