/generics/

• ../
• 3times.pd
• 4times.pd
• ^.pd
• antireflexive-test.pd
• associative-test.pd
• associator.pd
• commutative-test.pd
• commutator.pd
• distributive-test.pd
• distributor.pd
• f.norm.pd
• invertible-test.pd
• invertor.pd
• partialorder-test.pd
• partialordereq-test.pd
• reflexive-test.pd
• totalorder-test.pd
• totalordereq-test.pd
• twice.pd
• ~.norm.pd