| Wed, 14 Sep 2005 23:00:03 +0200 | chaieb | Unfortunately patched to use IntInf.int instead of just int (SML compatibility) | changeset | files |
| Wed, 14 Sep 2005 22:18:55 +0200 | wenzelm | Method comm_ring for proving equalities in commutative rings. | changeset | files |
| Wed, 14 Sep 2005 22:08:08 +0200 | wenzelm | tuned headers etc.; | changeset | files |
| Wed, 14 Sep 2005 22:04:38 +0200 | wenzelm | fixed some ML names; | changeset | files |
| Wed, 14 Sep 2005 22:04:37 +0200 | wenzelm | imports Commutative_Ring; | changeset | files |
| Wed, 14 Sep 2005 22:04:36 +0200 | wenzelm | HOL: method comm_ring; | changeset | files |
| Wed, 14 Sep 2005 22:04:35 +0200 | wenzelm | tuned; | changeset | files |