diff options
| author | David Aspinall | 2000-03-10 08:52:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-10 08:52:19 +0000 |
| commit | e7e378ec259c1e545ac1adbc8b0c46faf7747f83 (patch) | |
| tree | 6f4a15a5e67dfda253f6786801df55ab96aa26bf /generic | |
| parent | b0856d2da99b62ca6f33528d6e01bfd604e39958 (diff) | |
News about HOL support.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions