summaryrefslogtreecommitdiff
path: root/tests/hol4/external
ModeNameSize
-rw-r--r--Holmakefile153logplain
-rw-r--r--external_FunsScript.sml3227logplain
-rw-r--r--external_FunsTheory.sig2968logplain
-rw-r--r--external_OpaqueScript.sml1050logplain
-rw-r--r--external_OpaqueTheory.sig212logplain
-rw-r--r--external_TypesScript.sml324logplain
-rw-r--r--external_TypesTheory.sig201logplain