Directory contents

• effect.nt (5 Kb)
• effect_schema.nt (24 Kb)
• precond.nt (27 Kb)
• precond_schema.nt (98 Kb)