diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-26 09:09:30 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-26 09:09:30 -0400 |
| commit | b03ac1efc8ac5197688a97d1b8b27106654d504d (patch) | |
| tree | 7067eb995bce18c14b46e7e9190f1964df086570 /src/expl_util.sml | |
| parent | 276b6129962c7ed8d742b70e9f941db0ebd8a5fa (diff) | |
Proper subsignaturing for sub-structures
Diffstat (limited to 'src/expl_util.sml')
0 files changed, 0 insertions, 0 deletions