diff options
| author | Brian Campbell | 2018-06-01 16:06:05 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-08 15:03:37 +0100 |
| commit | 6b485cb062f474454b467c53edff69b10f6d3b5f (patch) | |
| tree | c86a352c9097912301a2c517e0bc74f353efdc34 /lib/hol/stateAuxiliaryScript.sml | |
| parent | ea2017301f3cb9d82883407ab1628956c4eb287d (diff) | |
Coq: some very basic existential support
Only single variable in places, only packed at literals and variables,
no unpacking
Diffstat (limited to 'lib/hol/stateAuxiliaryScript.sml')
0 files changed, 0 insertions, 0 deletions