Mercurial > urweb
log demo/crud.urp
age | author | description |
---|---|---|
2009-11-17 | Adam Chlipala | Hooks for measuring how much interesting proving is going on in elaboration |
age | author | description |
---|---|---|
2009-11-17 | Adam Chlipala | Hooks for measuring how much interesting proving is going on in elaboration |