Message5466

Author florian
Recipients erez, florian, haz, jendrik, malte
Date 2016-06-27.12:37:11
Content
Using the task interface for axioms (points 8. and 9.) is issue660.
History
Date User Action Args
2016-06-27 12:37:11floriansetmessageid: <1467023831.13.0.985477829031.issue509@unibas.ch>
2016-06-27 12:37:11floriansetrecipients: + florian, malte, erez, haz, jendrik
2016-06-27 12:37:11florianlinkissue509 messages
2016-06-27 12:37:11floriancreate