summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-no_nested_borrows
ModeNameSize
-rw-r--r--Holmakefile153logplain
-rw-r--r--noNestedBorrowsScript.sml17721logplain
-rw-r--r--noNestedBorrowsTheory.sig50160logplain