Directory contents

• axioms.nt (6 Kb)
• rules.spin (9 Kb)