Mercurial > cpdt > repo
log src/InductiveTypes.v
age | author | description |
---|---|---|
Mon, 12 Sep 2011 11:21:27 -0400 | Adam Chlipala | Finished pass over InductiveTypes |
age | author | description |
---|---|---|
Mon, 12 Sep 2011 11:21:27 -0400 | Adam Chlipala | Finished pass over InductiveTypes |