aboutsummaryrefslogtreecommitdiff
path: root/spartan/lib
ModeNameSize
-rw-r--r--List.thy5669logplain
-rw-r--r--Maybe.thy2082logplain
-rw-r--r--Prelude.thy4616logplain