| Tue, 20 Sep 2005 14:03:40 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 20 Sep 2005 14:03:39 +0200 | wenzelm | tuned simprocs; | changeset | files |
| Tue, 20 Sep 2005 14:03:38 +0200 | wenzelm | removed Commutative_Ring hacks; | changeset | files |
| Tue, 20 Sep 2005 14:03:37 +0200 | wenzelm | tuned theory dependencies; | changeset | files |
| Tue, 20 Sep 2005 13:58:58 +0200 | wenzelm | removed Commutative_Ring.thy, added HOL/ex/Chinese.thy; | changeset | files |
| Tue, 20 Sep 2005 13:57:08 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 20 Sep 2005 13:56:34 +0200 | wenzelm | Chinese Unicode example; | changeset | files |