/generics/
../
#.do.pd
#.norm.pd
#.rand.pd
#.swap.pd
#.taa.pd
3times.pd
4times.pd
^.pd
antireflexive-test.pd
antisymmetric-test.pd
associative-test.pd
associator.pd
commutative-rule.pd
commutative-test.pd
commutator.pd
distributive-test.pd
distributor.pd
equivalence-test.pd
f.do.pd
f.norm.pd
f.packunpack3.pd
f.rand.pd
f.taa.pd
invertible-test.pd
invertor.pd
locale
operator1-rule.pd
operator1-test.pd
operator2-rule.pd
operator2-test.pd
partialorder-test.pd
partialordereq-test.pd
protocols-tree.pd
reflexive-test.pd
totalorder-test.pd
totalordereq-test.pd
transitive-test.pd
tree.pd
trichotomy-test.pd
~.do.pd
~.norm.pd
~.packunpack3.pd
~.rand.pd
~.swap.pd
~.taa.pd