aboutsummaryrefslogtreecommitdiff
path: root/spartan/data
ModeNameSize
-rw-r--r--List.thy5936logplain
-rw-r--r--Maybe.thy2322logplain
-rw-r--r--More_Types.thy3455logplain