#
a922374f |
|
31-Jan-2017 |
Thomas Tuerk <thomas@tuerk-brechen.de> |
improve documentation of ConseqConv Provide additional doc-files and cleanup ConseqConv.sig. The file "ConseqConv.sig" changed considerably. However, the changes are just reorderings and changed comments. The signature itself stayed unchanged. Similarly, the changes to "ConseqConv.sml" are just changes to comments and whitespace.
|