diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-11-30 15:28:56 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-11-30 15:28:56 -0500 |
commit | fa906ca9e2e31d809221badd35ba1e93eaf3a8e5 (patch) | |
tree | 46bd1fc7feee6dad73467084bb05bff6b03b69c4 /src/coq/README | |
parent | 3563920e17dc55436bb1a92ac192af3fc8e1f61a (diff) |
Update Coq semantics for 8.3pl2
Diffstat (limited to 'src/coq/README')
-rw-r--r-- | src/coq/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/coq/README b/src/coq/README index 963a7d16..10cb01e5 100644 --- a/src/coq/README +++ b/src/coq/README @@ -1,3 +1,3 @@ This is a Coq formalization of a simplified version of the Ur programming language. -It has only been tested with Coq version 8.1pl3. +It has only been tested with Coq version 8.3pl2. |