| Thu, 28 Jul 2011 15:15:26 +0200 | kleing | resolved code_pred FIXME in IMP; clearer notation for exec_n | changeset | files |
| Thu, 28 Jul 2011 11:49:03 +0200 | blanchet | clean up temporary directory hack | changeset | files |
| Thu, 28 Jul 2011 11:43:45 +0200 | blanchet | tuning | changeset | files |
| 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 |