diff options
| author | Brian Campbell | 2018-05-10 14:51:43 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-10 14:51:43 +0100 |
| commit | 1f9418d9fe49dc671964fc826a2a8847e3255c9a (patch) | |
| tree | 9757922fa312bd2a016cde2ebb55f74a4e7896c5 /doc | |
| parent | a332a86f2a856983609223172ad5180d3fd81385 (diff) | |
Clean up HOL library properly
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions