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