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;
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....