summaryrefslogtreecommitdiff
path: root/tests/hol4/polonius_list
ModeNameSize
-rw-r--r--Holmakefile153logplain
-rw-r--r--poloniusListScript.sml1008logplain
-rw-r--r--poloniusListTheory.sig3399logplain