isabelle: Changelog

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;

wenzelm [Wed, 14 Sep 2005 22:04:33 +0200] rev 17382

Bernhard Haeupler: comm_ring;

chaieb [Wed, 14 Sep 2005 21:44:27 +0200] rev 17381

tactic and the rest eliminated, just the theory....

chaieb [Wed, 14 Sep 2005 21:35:46 +0200] rev 17380

use was wrong...

obua [Wed, 14 Sep 2005 19:03:16 +0200] rev 17379

Fixed Importer bug in type_introduction: instantiate type variables in rep-abs theorems exactly as it is done in HOL-light.

isabelle