| Wed, 10 Feb 2010 12:04:57 +0100 | wenzelm | merged | changeset | files |
| Wed, 10 Feb 2010 12:03:13 +0100 | wenzelm | unset KODKODI explicitly -- apparently isatest patches settings cumulatively; | changeset | files |
| Wed, 10 Feb 2010 11:47:33 +0100 | blanchet | make Nitpick test a bit weaker; | changeset | files |
| Wed, 10 Feb 2010 08:54:56 +0100 | haftmann | merged | changeset | files |
| Wed, 10 Feb 2010 08:54:40 +0100 | haftmann | moved constants inverse and divide to Ring.thy | changeset | files |
| Wed, 10 Feb 2010 08:49:26 +0100 | haftmann | moved constants inverse and divide to Ring.thy | changeset | files |
| Wed, 10 Feb 2010 08:49:26 +0100 | haftmann | division ring assumes divide_inverse | changeset | files |