aboutsummaryrefslogtreecommitdiff
path: root/spartan/theories
ModeNameSize
-rw-r--r--Equivalence.thy13224logplain
-rw-r--r--Identity.thy12710logplain
-rw-r--r--Spartan.thy15158logplain