diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-12 17:41:32 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-12 17:41:32 -0400 |
| commit | 4bb0bbc1920b5474619cb00e278590e029cdb12a (patch) | |
| tree | 0a6e5046476ae987bd823b4c03e666495559fbbf /src/elab_util.sml | |
| parent | ed9e3cb10161dde86a87894155f2f74c60d28c4a (diff) | |
Matching structures in signatures
Diffstat (limited to 'src/elab_util.sml')
0 files changed, 0 insertions, 0 deletions