Message3321

Author malte
Recipients gabi, malte, patrik
Date 2014-08-17.11:36:20
Content
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.)
History
Date User Action Args
2014-08-17 11:36:20maltesetmessageid: <1408268180.08.0.247796255833.issue453@unibas.ch>
2014-08-17 11:36:20maltesetrecipients: + malte, gabi, patrik
2014-08-17 11:36:20maltelinkissue453 messages
2014-08-17 11:36:20maltecreate