/generics/
../
3times.pd
4times.pd
^.pd
associative-test.pd
associator.pd
commutative-test.pd
commutator.pd
distributive-test.pd
distributor.pd
fnorm.pd
invertible-test.pd
invertor.pd
twice.pd