Mercurial > urweb
comparison src/coq/Syntax.v @ 1562:7ad5227a3ed9
Return to working version mode
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 17 Sep 2011 13:10:20 -0400 |
| parents | 75c7a69354d6 |
| children |
comparison
equal
deleted
inserted
replaced
| 1561:3b57a6ddef1a | 1562:7ad5227a3ed9 |
|---|