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 | d35896d2f29d23c3cd4c180f9249e44ebf7ed208 (patch) | |
tree | 46bd1fc7feee6dad73467084bb05bff6b03b69c4 /src/coq/README | |
parent | b0da719acd2e225d83e064e9336e1097b87df6d8 (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. |