diff options
| author | Alasdair Armstrong | 2020-05-19 16:16:21 +0100 |
|---|---|---|
| committer | GitHub | 2020-05-19 16:16:21 +0100 |
| commit | fc6412708024d7c614e3c47a2de3be0548d184c7 (patch) | |
| tree | 9ed4666abec1d3688233119655a0122464899f83 /lib/hol/sail2_stateAuxiliaryScript.sml | |
| parent | 92b0564856fb3e20a09bead04d5c1b21eed224e1 (diff) | |
Update readme with min OCaml version
Diffstat (limited to 'lib/hol/sail2_stateAuxiliaryScript.sml')
0 files changed, 0 insertions, 0 deletions