isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sun, 11 Feb 2001 16:31:54 +0100 tuned trans rules;

changeset

wenzelm [Sun, 11 Feb 2001 16:31:54 +0100] rev 11096

tuned trans rules;

Sun, 11 Feb 2001 16:31:21 +0100 updated;

changeset

wenzelm [Sun, 11 Feb 2001 16:31:21 +0100] rev 11095

updated;

Sun, 11 Feb 2001 13:26:23 +0100 tuned;

changeset

wenzelm [Sun, 11 Feb 2001 13:26:23 +0100] rev 11094

tuned;

Sat, 10 Feb 2001 08:52:41 +0100 Changes to HOL/Algebra:

changeset

ballarin [Sat, 10 Feb 2001 08:52:41 +0100] rev 11093

Changes to HOL/Algebra: - Axclasses consolidated (axiom one_not_zero). - Now uses summation operator setsum; SUM has been removed. - Priority of infix assoc changed to 50, in accordance to dvd.

Sat, 10 Feb 2001 08:49:36 +0100 Definition of setsum (sort constraint) relaxed to {zero, plus}.

changeset

ballarin [Sat, 10 Feb 2001 08:49:36 +0100] rev 11092

Definition of setsum (sort constraint) relaxed to {zero, plus}.

Sat, 10 Feb 2001 08:48:10 +0100 Updates to HOL/Algebra:

changeset

ballarin [Sat, 10 Feb 2001 08:48:10 +0100] rev 11091

Updates to HOL/Algebra: - axclasses consolidated (lemma one_not_zero) - summation operator SUM removed, now uses setsum Use of setsum made it necessary to relax sort constraint in its definition to {zero, plus}.

Fri, 09 Feb 2001 23:48:50 +0100 tuned;

changeset

wenzelm [Fri, 09 Feb 2001 23:48:50 +0100] rev 11090

tuned;

Fri, 09 Feb 2001 23:48:33 +0100 lower priority for forw_subst;

changeset

wenzelm [Fri, 09 Feb 2001 23:48:33 +0100] rev 11089

lower priority for forw_subst;

Fri, 09 Feb 2001 20:34:42 +0100 tuned;

changeset

wenzelm [Fri, 09 Feb 2001 20:34:42 +0100] rev 11088

tuned;