http://adam.chlipala.net/cpdt/repo/atom-log/tip/latex/.dirCertified Programming with Dependent Types: latex/.dir history2008-09-03T13:30:05-04:00Squash book into main directoryhttp://adam.chlipala.net/cpdt/repo/#changeset-bcf375310f5f9dea27631cf84a4bd9a03136cb15Adam Chlipalaadamc@hcoop.net2008-09-03T13:30:05-04:002008-09-03T13:30:05-04:00