aboutsummaryrefslogtreecommitdiff
path: root/spartan/theories
ModeNameSize
-rw-r--r--Equivalence.thy13295logplain
-rw-r--r--Identity.thy12285logplain
-rw-r--r--Spartan.thy14571logplain