Mercurial > urweb
directory /src/coq/ @ 1989:210fb3dfc483
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-- |