Directory contents

• effect.nt (0 Kb)
• effect.spin (4 Kb)
• effect_schema.nt (0 Kb)
• effect_schema.spin (4 Kb)
• precond.nt (0 Kb)
• precond.spin (21 Kb)
• precond_schema.nt (0 Kb)
• precond_schema.spin (21 Kb)