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