Author florian
Recipients florian, jendrik, malte, mkatz
Date 2017-11-29.23:09:20
With issue748 merged, this looks easier now. I tried to prepare a pull request
for this:

There are still a lot of rough corners but I suggest we don't try to fix all of
them in this issue. The patch is already kind of big, so for example, i wouldn't
want to start changing the successor generator or axiom evaluator at the same time.
Date User Action Args
2017-11-29 23:09:20floriansetmessageid: <>
2017-11-29 23:09:20floriansetrecipients: + florian, malte, jendrik, mkatz
2017-11-29 23:09:20florianlinkissue700 messages
2017-11-29 23:09:20floriancreate