aboutsummaryrefslogtreecommitdiff
path: root/spartan/lib
ModeNameSize
-rw-r--r--List.thy5704logplain
-rw-r--r--Maybe.thy2188logplain
-rw-r--r--More_Types.thy4528logplain