summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-constants/constantsTheory.sig
diff options
context:
space:
mode:
authorSon Ho2023-07-26 15:00:11 +0200
committerSon Ho2023-07-26 15:00:11 +0200
commit3337c4ac3326c3132dcc322f55f23a7d2054ceb0 (patch)
tree4753f8a49b2b28917600a872caa3d31964cb6fd8 /tests/hol4/misc-constants/constantsTheory.sig
parent81e991822879a942af34489b7a072f31739f28f6 (diff)
Update some of the Vec function specs
Diffstat (limited to 'tests/hol4/misc-constants/constantsTheory.sig')
0 files changed, 0 insertions, 0 deletions