summaryrefslogtreecommitdiff
path: root/tests/hol4/constants
ModeNameSize
-rw-r--r--Holmakefile153logplain
-rw-r--r--constantsScript.sml4881logplain
-rw-r--r--constantsTheory.sig14141logplain