diff options
| author | David Aspinall | 2009-09-07 09:37:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-07 09:37:54 +0000 |
| commit | e7876648dfaf463fe4a59830e6243a1fb9118fad (patch) | |
| tree | dd7b9589d8982e88342abf7a94220b547eec1896 /hol98/root2.sml | |
| parent | 290fe12b7039f078808ce13e44ab4a24646acb2e (diff) | |
Fix initialisation of isar-use-find-theorems-form in compiled file.
Diffstat (limited to 'hol98/root2.sml')
0 files changed, 0 insertions, 0 deletions