Axiomatisation/
comm_left.con.body.xml
comm_left.con.types.xml
comm_right.con.body.xml
comm_right.con.types.xml
cong_congr.con.body.xml
cong_congr.con.types.xml
op_rotate.con.body.xml
op_rotate.con.types.xml
perm_left.con.body.xml
perm_left.con.types.xml
perm_right.con.body.xml
perm_right.con.types.xml
twist.con.body.xml
twist.con.types.xml