aboutsummaryrefslogtreecommitdiff
path: root/tests
ModeNameSize
-rw-r--r--Subgoal.thy2154logplain