src/HOL/antisym_setup.ML
2004-09-11 nipkow 2004-09-11 antisymmetry simproc