aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/coq
ModeNameSize
-rw-r--r--Axioms.v2014logplain
-rw-r--r--Makefile283logplain
-rw-r--r--Name.v1648logplain
-rw-r--r--README134logplain
-rw-r--r--Semantics.v8617logplain
-rw-r--r--Syntax.v7660logplain