Mercurial > cpdt > repo
diff src/GeneralRec.v @ 518:2bd6b00f831f
Web site: book cover and links to buy
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 13 Dec 2013 10:32:51 -0500 |
parents | 3b21f4395178 |
children | 8f9f1e5b2fe3 |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 13 Dec 2013 10:32:51 -0500 |
parents | 3b21f4395178 |
children | 8f9f1e5b2fe3 |