src/HOL/antisym_setup.ML
2006-03-17 haftmann 2006-03-17 renamed op < <= to Orderings.less(_eq)
2006-01-19 wenzelm 2006-01-19 setup: theory -> theory;
2005-10-17 wenzelm 2005-10-17 change_claset/simpset;
2005-07-14 wenzelm 2005-07-14 HOL.Not;
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-09-11 nipkow 2004-09-11 antisymmetry simproc