src/HOL/antisym_setup.ML
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-09-11 nipkow 2004-09-11 antisymmetry simproc