src/HOL/Orderings.thy
Thu, 24 Mar 2005 16:34:15 +0100 ballarin Transitivity reasoner ignores types amenable to linear arithmetic.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Thu, 10 Feb 2005 18:51:12 +0100 nipkow Moved oderings from HOL into the new Orderings.thy
less more (0) tip