| summaryrefslogtreecommitdiff |
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2018-05-28 13:01:50 +0200 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2018-05-28 13:01:50 +0200 |
| commit | bba41321ac671463cd1c778cb88d87647e4ca906 (patch) | |
| tree | d81106a9bd3036186e86ccdef8b84d946c6dc324 /Makefile | |
| parent | 8a6e84b6f1ef95f1ef0a68e692c5d3c6f59fb645 (diff) | |
Adds the seeked predicate to the Theory file.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions