diff options
| author | Martin Mozina <martin.mozina@fri.uni-lj.si> | 2018-06-20 12:10:16 +0200 |
|---|---|---|
| committer | Martin Mozina <martin.mozina@fri.uni-lj.si> | 2018-06-20 12:10:16 +0200 |
| commit | 9c434e39a99e0945ee964b105fc7d4c23e706637 (patch) | |
| tree | 8da6ae84b26f5a934f80c9d856bcbfbecd82366f /canonicalize | |
| parent | d59588d8d046428187135aabea5944900ffeca56 (diff) | |
Small changes to rules and conclusions section.
Diffstat (limited to 'canonicalize')
0 files changed, 0 insertions, 0 deletions