aboutsummaryrefslogtreecommitdiff
path: root/spartan/lib
ModeNameSize
-rw-r--r--List.thy5677logplain
-rw-r--r--Maybe.thy2004logplain
-rw-r--r--Prelude.thy4673logplain