diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-05-03 07:59:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-05-03 07:59:45 -0400 |
| commit | 069c6e80005874abbc8d4f82a96c782cb8dda111 (patch) | |
| tree | 53f9a775d7f91551fe16b1addd3f76acb0105987 /src/monoize.sml | |
| parent | 0c83e8f7c345a27be3cae77eeb2d7cb8658e5e9c (diff) | |
A .urs comment about [queryL*]
Diffstat (limited to 'src/monoize.sml')
0 files changed, 0 insertions, 0 deletions