src/HOL/antisym_setup.ML
Sat, 11 Sep 2004 09:25:47 +0200 nipkow antisymmetry simproc
less more (0) tip