Mercurial > urweb
log src/monoize.sml
age | author | description |
---|---|---|
Sun, 31 Aug 2008 16:32:49 -0400 | Adam Chlipala | Changed EQuery not to use a function in its body |
age | author | description |
---|---|---|
Sun, 31 Aug 2008 16:32:49 -0400 | Adam Chlipala | Changed EQuery not to use a function in its body |