summaryrefslogtreecommitdiff
path: root/tests/hol4/betree
ModeNameSize
-rw-r--r--Holmakefile153logplain
-rw-r--r--betree_FunsScript.sml42553logplain
-rw-r--r--betree_FunsTheory.sig47934logplain
-rw-r--r--betree_OpaqueScript.sml1213logplain
-rw-r--r--betree_OpaqueTheory.sig204logplain
-rw-r--r--betree_TypesScript.sml1691logplain
-rw-r--r--betree_TypesTheory.sig64877logplain