src/HOL/Ord.thy
Mon, 13 Nov 2000 08:53:21 +0100 nipkow Removed > and >= again.
Fri, 10 Nov 2000 16:26:44 +0100 nipkow new: > and >=
Tue, 17 Oct 2000 08:00:34 +0200 nipkow <= -> \<le>
Thu, 18 May 2000 11:43:57 +0200 wenzelm fewer consts declared as global;
Wed, 25 Aug 1999 20:49:02 +0200 wenzelm proper bootstrap of HOL theory and packages;
Tue, 17 Aug 1999 22:13:23 +0200 wenzelm replaced HOL_quantifiers flag by "HOL" print mode;
Tue, 29 Jun 1999 11:58:21 +0200 nipkow Bad translation fixed.
Tue, 27 Apr 1999 10:44:42 +0200 wenzelm hol_setup, simpdata_setup;
Thu, 18 Mar 1999 16:42:34 +0100 nipkow New bounded quantifier syntax: !x<i. P etc
Tue, 24 Nov 1998 12:03:09 +0100 wenzelm setup Blast.setup;
Mon, 16 Nov 1998 11:12:59 +0100 wenzelm Classical.setup, attrib_setup;
Fri, 20 Feb 1998 17:56:39 +0100 nipkow Congruence rules use == in premises now.
Mon, 20 Oct 1997 11:25:39 +0200 wenzelm adapted to qualified names;
Thu, 09 Oct 1997 15:03:06 +0200 wenzelm fixed infix syntax;
Thu, 08 May 1997 11:44:59 +0200 nipkow Modified def of Least, which, as Markus correctly complained, looked like
Fri, 14 Feb 1997 15:32:00 +0100 wenzelm fixed comment;
Wed, 12 Feb 1997 18:53:59 +0100 nipkow New class "order" and accompanying changes.
Wed, 27 Nov 1996 16:48:19 +0100 wenzelm fixed comment;
Mon, 23 Sep 1996 17:47:49 +0200 paulson New infix syntax: breaks line BEFORE operator
Wed, 29 Nov 1995 16:44:59 +0100 clasohm removed quotes from types in consts and syntax sections
Mon, 20 Mar 1995 15:35:28 +0100 clasohm changed syntax of "if"
Fri, 03 Mar 1995 12:02:25 +0100 clasohm new version of HOL with curried function application
less more (0) tip