diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-29 11:23:22 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-29 11:23:22 -0400 |
commit | 8b56aa658fa544d041a2eac45c87d76f4597f94d (patch) | |
tree | d3f8a65f52bc41215c3a84a1122e7abe2a7105c4 /src/elab_ops.sig | |
parent | 83e134391f20103fb2ce74caebcefbc408ce9ee6 (diff) |
A little more conservative unification
Diffstat (limited to 'src/elab_ops.sig')
0 files changed, 0 insertions, 0 deletions