diff options
| author | Brian Campbell | 2019-10-25 17:46:33 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-10-25 17:53:35 +0100 |
| commit | 1bd3a2601bc0b5637f650810ff8a9e108e79d043 (patch) | |
| tree | eea441498b26e4980bb9b262900026331415bf28 /lib/hol | |
| parent | 8182b700da5cc0a4b64b3d5dd1c486b112c0a092 (diff) | |
Coq: make sure solver can't accidentally use recursive definitions
Diffstat (limited to 'lib/hol')
0 files changed, 0 insertions, 0 deletions