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