diff options
| author | Brian Campbell | 2019-12-01 21:34:23 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-12-01 21:34:23 +0000 |
| commit | 92db256a63619b46f3b46169a45205de4f840de7 (patch) | |
| tree | 921284d2459ef28bf45271a156339ac19e0d69b8 /lib/hol/sail2_stateAuxiliaryScript.sml | |
| parent | aeba539412d37f4e0f6b8e02bea7389b433fbb80 (diff) | |
Coq: remove last use and definition of doc_nc_prop
(plus test, as it wasn't covered before)
Diffstat (limited to 'lib/hol/sail2_stateAuxiliaryScript.sml')
0 files changed, 0 insertions, 0 deletions