summaryrefslogtreecommitdiff
path: root/tests/hol4/betree
ModeNameSize
-rw-r--r--Holmakefile153logplain
-rw-r--r--betreeMain_FunsScript.sml41486logplain
-rw-r--r--betreeMain_FunsTheory.sig48289logplain
-rw-r--r--betreeMain_OpaqueScript.sml901logplain
-rw-r--r--betreeMain_OpaqueTheory.sig220logplain
-rw-r--r--betreeMain_TypesScript.sml1745logplain
-rw-r--r--betreeMain_TypesTheory.sig64868logplain