summaryrefslogtreecommitdiff
path: root/tests/hol4/constants/constantsTheory.sig
diff options
context:
space:
mode:
authorSon Ho2024-06-14 14:09:51 +0200
committerSon Ho2024-06-14 14:09:51 +0200
commitadf5c77214cf1cfe14a386f3feefdfa1ebfd1d45 (patch)
treedb83984e3de7d0591eeda63c5017f41104c7db3b /tests/hol4/constants/constantsTheory.sig
parente3bde786750009becf4f828370f2e0d242ccf39d (diff)
Update the tests
Diffstat (limited to 'tests/hol4/constants/constantsTheory.sig')
0 files changed, 0 insertions, 0 deletions