Mercurial > urweb
comparison src/coq/Syntax.v @ 1480:aa0c6382aa57
top.urs: More comments
| author | Robin Green <greenrd@greenrd.org> |
|---|---|
| date | Tue, 28 Jun 2011 11:55:57 +0100 |
| parents | 75c7a69354d6 |
| children |
comparison
equal
deleted
inserted
replaced
| 1479:f561025bb68e | 1480:aa0c6382aa57 |
|---|