diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-03-09 11:03:17 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-09 11:03:17 +0000 |
commit | a1f38c7d643246761804359354c11c6c183a9d20 (patch) | |
tree | b19e06a81212877e6a256e5fc53cc643a455d335 /TODO | |
parent | ef92ca36c2390a7779766ab0fa65bbee6ca5d9f9 (diff) |
First bash at HOL support, working but barely
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions