summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-paper
ModeNameSize
-rw-r--r--Holmakefile153logplain
-rw-r--r--paperScript.sml3532logplain
-rw-r--r--paperTheory.sig6039logplain