aboutsummaryrefslogtreecommitdiff
path: root/tests
ModeNameSize
-rw-r--r--Subgoal.thy2210logplain
-rw-r--r--Test.thy4123logplain