diff options
author | Niklas Haas <git@nand.wakku.to> | 2014-08-21 21:09:51 +0200 |
---|---|---|
committer | Niklas Haas <git@nand.wakku.to> | 2014-08-24 08:14:35 +0200 |
commit | fb2a6bf0a53fb243dfe3f769c340236ab73763a9 (patch) | |
tree | 9877f8ef41934b053d91ab1ee531b98b7bc0965f /latex-test/accept.lhs | |
parent | 26a44b9f3f539e93f499eea4eda6a354f46b20da (diff) |
Omit unnecessary foralls and fix #315
This also fixes #86.
Diffstat (limited to 'latex-test/accept.lhs')
0 files changed, 0 insertions, 0 deletions