diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-12 17:35:51 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-12 17:35:51 -0400 |
| commit | ed9e3cb10161dde86a87894155f2f74c60d28c4a (patch) | |
| tree | 6720f063434c521f4004809f3a557aa8b86a23ce /src/elab_util.sig | |
| parent | 2355b20a32d8ed4924cee84a44831061b2b49b49 (diff) | |
Matching values in signatures
Diffstat (limited to 'src/elab_util.sig')
0 files changed, 0 insertions, 0 deletions