| Mon, 14 Jul 2008 11:19:36 +0200 | wenzelm | removed Isar/proof_history.ML; | changeset | files |
| Mon, 14 Jul 2008 11:04:47 +0200 | haftmann | added further simple interfaces | changeset | files |
| Mon, 14 Jul 2008 11:04:46 +0200 | haftmann | simpsets as pre/postprocessors; generic preprocessor now named function transformators | changeset | files |
| Mon, 14 Jul 2008 11:04:42 +0200 | haftmann | unified curried gcd, lcm, zgcd, zlcm | changeset | files |
| Fri, 11 Jul 2008 23:17:25 +0200 | wenzelm | Sorts.weaken: abstract argument; | changeset | files |
| Fri, 11 Jul 2008 23:17:23 +0200 | wenzelm | Sorts.weaken: abstract argument; | changeset | files |
| Fri, 11 Jul 2008 16:56:20 +0200 | huffman | instance real_field < field_char_0; | changeset | files |
| Fri, 11 Jul 2008 09:03:25 +0200 | haftmann | re-removed subclass relation real_field < field_char_0: coregularity violation in NSA/HyperDef | changeset | files |