summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-loops
ModeNameSize
-rw-r--r--Holmakefile153logplain
-rw-r--r--loops_FunsScript.sml22810logplain
-rw-r--r--loops_FunsTheory.sig25082logplain
-rw-r--r--loops_TypesScript.sml258logplain
-rw-r--r--loops_TypesTheory.sig2642logplain