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