summaryrefslogtreecommitdiff
path: root/tests/hol4/betree
ModeNameSize
-rw-r--r--Holmakefile153logplain
-rw-r--r--betreeMain_FunsScript.sml43132logplain
-rw-r--r--betreeMain_FunsTheory.sig48289logplain
-rw-r--r--betreeMain_OpaqueScript.sml1246logplain
-rw-r--r--betreeMain_OpaqueTheory.sig220logplain
-rw-r--r--betreeMain_TypesScript.sml1745logplain
-rw-r--r--betreeMain_TypesTheory.sig64889logplain