summaryrefslogtreecommitdiff
path: root/src/coq
ModeNameSize
-rw-r--r--Axioms.v2014logplain
-rw-r--r--Name.v1648logplain
-rw-r--r--README134logplain
-rw-r--r--Semantics.v8672logplain
-rw-r--r--Syntax.v7660logplain