src/ZF/ex/Commutation.ML
2001-02-03 paulson 2001-02-03 commutation theory, ported by Sidi Ehmety