diff options
| author | Brian Campbell | 2018-06-01 15:50:49 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-08 15:03:37 +0100 |
| commit | ea2017301f3cb9d82883407ab1628956c4eb287d (patch) | |
| tree | ef26a114bd94d953b0554ef97ff77c266097fe5b /lib/hol/stateAuxiliaryScript.sml | |
| parent | 629aa510b39834f13441757c6e0cc679d77fe4e8 (diff) | |
Coq: fix axiom generation
Diffstat (limited to 'lib/hol/stateAuxiliaryScript.sml')
0 files changed, 0 insertions, 0 deletions