diff options
| author | Brian Campbell | 2018-05-29 15:44:10 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-08 15:03:37 +0100 |
| commit | 0c02580108effb66c427906e990cf567bdd0ad75 (patch) | |
| tree | 39ca8d545651e4f3ae293afe8e2a10c16fd256c4 /lib/hol/stateAuxiliaryScript.sml | |
| parent | 548d02f6667644154c5b5547331e34a278bae22c (diff) | |
Coq: correct failure on unsupported undefined values
Diffstat (limited to 'lib/hol/stateAuxiliaryScript.sml')
0 files changed, 0 insertions, 0 deletions