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