diff options
| author | Brian Campbell | 2018-05-29 15:43:39 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-08 15:03:37 +0100 |
| commit | 548d02f6667644154c5b5547331e34a278bae22c (patch) | |
| tree | 9b0e51103f50b2c25882b268f7cc0e6f8bb0d342 /lib/hol/stateAuxiliaryScript.sml | |
| parent | 0f7f8d3ead1463b90353d00d0b48fdca151e8a84 (diff) | |
Coq: use record update syntax (only single fields work for now)
Diffstat (limited to 'lib/hol/stateAuxiliaryScript.sml')
0 files changed, 0 insertions, 0 deletions