| #
6a81a039 |
|
21-May-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs from src
Will also make selftest to check that they aren't introduced
|
| #
f11f604a |
|
23-Jul-2001 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fairly radical changes: theorems' hypotheses now stored in a binary tree.
|
| #
1d412ec6 |
|
15-Nov-2000 |
Konrad Slind <konrad.slind@gmail.com> |
Paired syntax mods.
|
| #
d08ce6b2 |
|
06-Nov-2000 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Changes to make all this stuff Kananaskis compatible.
|
| #
7133a5f5 |
|
18-Feb-2000 |
Konrad Slind <konrad.slind@gmail.com> |
Changed to eliminate dependence on Ho_theorems.
|
| #
58841e67 |
|
29-Apr-1999 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Initial revision
|