diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-11-01 17:19:12 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-01 17:19:12 -0400 |
commit | 9a22207b565607db64f95dda5fdc1c9e56224ec9 (patch) | |
tree | fcd5c44e383db901b132519ee9a953101bcb7b04 /src/termination.sml | |
parent | 36a9df5f71b954949b92520c6e472548aa5ebfb1 (diff) |
Fix some type-class detection
Diffstat (limited to 'src/termination.sml')
0 files changed, 0 insertions, 0 deletions