diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-11-13 14:38:06 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-11-13 14:38:06 -0500 |
| commit | a76bfb6d78445f3d36765cb6a0fda43697c16a72 (patch) | |
| tree | 8622f6d7acd3dc4b766456457ea38df34b089251 /src/config.sml.in | |
| parent | 2186daa21b76f8fa5b6a2a45b3abe06b3b1a3c72 (diff) | |
More hnormKind for isUnitCon
Diffstat (limited to 'src/config.sml.in')
0 files changed, 0 insertions, 0 deletions