#
474acc2b |
|
09-Jul-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Reorganise files under examples/miller. In particular, combine formalizeUseful, subTypeUseful and ho_proverUseful into one HurdUseful that is in its own directory. Also, put Know and Suff tactics into that library so that they don't need to be repeatedly redefined at the head of the various Script files.
|