Directory contents

• addedAxioms (1 Kb)
• addedRules (0 Kb)
• removedRules (0 Kb)
• res (0 Kb)