| Thu, 28 Jul 2011 11:43:45 +0200 | blanchet | make SML/NJ happy | changeset | files |
| Thu, 28 Jul 2011 10:42:24 +0200 | hoelzl | simplified definition of vector (also removed Cartesian_Euclidean_Space.from_nat which collides with Countable.from_nat) | changeset | files |
| Thu, 28 Jul 2011 05:52:28 -0200 | noschinl | document coercions | changeset | files |
| Wed, 27 Jul 2011 20:28:00 +0200 | bulwahn | rudimentary documentation of the quotient package in the isar reference manual | changeset | files |