Mercurial > cpdt > repo
log src/Large.v
age | author | description |
---|---|---|
Fri, 04 Dec 2009 16:58:30 -0500 | Adam Chlipala | First part of 'Ltac Anti-Patterns' |
age | author | description |
---|---|---|
Fri, 04 Dec 2009 16:58:30 -0500 | Adam Chlipala | First part of 'Ltac Anti-Patterns' |