Author malte
Recipients gabi, malte, patrik
Date 2014-08-17.11:36:20
I opened a separate issue for getting rid of the negated axiom rules (issue454),
as I'm not sure this is the only thing going on here, but that bit will be quite
a bit of work by itself. (Didn't add you to the nosy list, so please do if you
want to follow this.)
Date User Action Args
2014-08-17 11:36:20maltesetmessageid: <>
2014-08-17 11:36:20maltesetrecipients: + malte, gabi, patrik
2014-08-17 11:36:20maltelinkissue453 messages
2014-08-17 11:36:20maltecreate