summaryrefslogtreecommitdiff |
diff options
author | nsensfel <SpamShield0@noot-noot.org> | 2018-05-30 15:30:05 +0200 |
---|---|---|
committer | nsensfel <SpamShield0@noot-noot.org> | 2018-05-30 15:30:05 +0200 |
commit | bba4a584979bbf128028a850dd11b3a25a98a967 (patch) | |
tree | dc66ca00d64bc0d75cb0e9fc71d9c26b68f9f5f2 /Makefile | |
parent | 7633ea659a37ee06c80076f32505b0b584a89c7e (diff) |
(forall ... (and ...)) -> (forall ... (implies ...))
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions