| Wed, 14 Sep 2005 23:31:09 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 14 Sep 2005 23:15:00 +0200 | wenzelm | hide: added option '(open)'; | changeset | files |
| Wed, 14 Sep 2005 23:14:59 +0200 | wenzelm | imports Commutative_Ring instead of Main, since the latter hides our names; | changeset | files |
| Wed, 14 Sep 2005 23:14:58 +0200 | wenzelm | hide the rather generic names used in theory Commutative_Ring; | changeset | files |