Mercurial > cpdt > repo
diff src/GeneralRec.v @ 521:6ea0694afa44
Add ISBN
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 14 Dec 2013 14:58:32 -0500 |
parents | 3b21f4395178 |
children | 8f9f1e5b2fe3 |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 14 Dec 2013 14:58:32 -0500 |
parents | 3b21f4395178 |
children | 8f9f1e5b2fe3 |