Message5581

Author malte
Recipients erez, florian, haz, jendrik, malte
Date 2016-08-28.17:02:17
Content
Please take into account that axioms also count as operators, which is why
OperatorProxy stores more than just an index.
History
Date User Action Args
2016-08-28 17:02:17maltesetmessageid: <1472396537.99.0.456497081251.issue509@unibas.ch>
2016-08-28 17:02:17maltesetrecipients: + malte, erez, haz, jendrik, florian
2016-08-28 17:02:17maltelinkissue509 messages
2016-08-28 17:02:17maltecreate