Mercurial > urweb
log src/search.sml
age | author | description |
---|---|---|
2008-03-28 | Adam Chlipala | Simple elaboration working |
2008-01-26 | Adam Chlipala | Check for leftover kind unifs |
2008-01-26 | Adam Chlipala | Start of elaboration |
age | author | description |
---|---|---|
2008-03-28 | Adam Chlipala | Simple elaboration working |
2008-01-26 | Adam Chlipala | Check for leftover kind unifs |
2008-01-26 | Adam Chlipala | Start of elaboration |