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