| Thu, 28 Jul 2011 11:43:45 +0200 | blanchet | fixed lambda concealing | changeset | files |
| 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 |
| Wed, 27 Jul 2011 19:35:00 +0200 | hoelzl | to_nat is injective on arbitrary domains | changeset | files |
| Wed, 27 Jul 2011 19:34:30 +0200 | hoelzl | finite vimage on arbitrary domains | changeset | files |
| Tue, 26 Jul 2011 22:53:06 +0200 | blanchet | updated Sledgehammer documentation | changeset | files |