Mercurial > urweb
directory /src/coq/ @ 1644:75cf4a68f6c9
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
Axioms.v | 2014 | -rw-r--r-- |
Makefile | 283 | -rw-r--r-- |
Name.v | 1648 | -rw-r--r-- |
README | 134 | -rw-r--r-- |
Semantics.v | 8617 | -rw-r--r-- |
Syntax.v | 7660 | -rw-r--r-- |