| Tue, 02 Jun 2009 15:53:05 +0200 | haftmann | OCaml builtin intergers are elusive; avoid | changeset | files |
| Tue, 02 Jun 2009 15:53:04 +0200 | haftmann | more aggresive bracketing of let expressions | changeset | files |
| Tue, 02 Jun 2009 15:53:03 +0200 | haftmann | tuned whitespace | changeset | files |
| Tue, 02 Jun 2009 16:56:55 +0200 | wenzelm | merged | changeset | files |
| Tue, 02 Jun 2009 16:10:51 +0200 | wenzelm | merged | changeset | files |
| Tue, 02 Jun 2009 15:06:17 +0200 | chaieb | merged | changeset | files |
| Tue, 02 Jun 2009 12:18:44 +0200 | chaieb | merged | changeset | files |
| Tue, 02 Jun 2009 12:18:08 +0200 | chaieb | merged | changeset | files |
| Mon, 01 Jun 2009 09:26:28 +0200 | chaieb | Reverses idempotent; radical of E; generalized logarithm; | changeset | files |
| Tue, 02 Jun 2009 16:52:37 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Tue, 02 Jun 2009 14:43:47 +0200 | wenzelm | merged | changeset | files |
| Tue, 02 Jun 2009 14:37:05 +0200 | hoelzl | use algebra_simps instead of ring_simps | changeset | files |
| Tue, 02 Jun 2009 14:38:10 +0200 | wenzelm | merged, resolving conflict in src/Pure/Isar/attrib.ML; | changeset | files |
| Tue, 02 Jun 2009 14:00:24 +0200 | hoelzl | Generalized Integral_add | changeset | files |
| Tue, 02 Jun 2009 13:59:32 +0200 | hoelzl | Added theorems about distinct & concat, map & replicate and concat & replicate | changeset | files |