isabelle: Changelog

schirmer [Wed, 14 Sep 2005 23:04:59 +0200] rev 17392

added prem10 - prem19

schirmer [Wed, 14 Sep 2005 23:03:52 +0200] rev 17391

removed syntax fun_map_comp; introduced map_comp;

chaieb [Wed, 14 Sep 2005 23:00:03 +0200] rev 17390

Unfortunately patched to use IntInf.int instead of just int (SML compatibility)

wenzelm [Wed, 14 Sep 2005 22:18:55 +0200] rev 17389

Method comm_ring for proving equalities in commutative rings.

wenzelm [Wed, 14 Sep 2005 22:08:08 +0200] rev 17388

tuned headers etc.;

wenzelm [Wed, 14 Sep 2005 22:04:38 +0200] rev 17387

fixed some ML names;

wenzelm [Wed, 14 Sep 2005 22:04:37 +0200] rev 17386

imports Commutative_Ring;

wenzelm [Wed, 14 Sep 2005 22:04:36 +0200] rev 17385

HOL: method comm_ring; Proof General: Unicode (UTF-8) support;

wenzelm [Wed, 14 Sep 2005 22:04:35 +0200] rev 17384

tuned;

wenzelm [Wed, 14 Sep 2005 22:04:34 +0200] rev 17383

no longer prefer xemacs, which fails more often than GNU emacs;

isabelle