| 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 |
| Tue, 02 Jun 2009 10:04:03 +0200 | berghofe | merged | changeset | files |
| Tue, 02 Jun 2009 10:02:52 +0200 | berghofe | Fixed broken code dealing with alternative names. | changeset | files |
| Tue, 02 Jun 2009 10:02:08 +0200 | berghofe | Enclosed parts of subsection in @{text ...} to make LaTeX happy. | changeset | files |