summaryrefslogtreecommitdiff
path: root/src/coq
ModeNameSize
-rw-r--r--Axioms.v2014logplain
-rw-r--r--Semantics.v8460logplain
-rw-r--r--Syntax.v7806logplain