| Thu, 26 Aug 2010 13:49:12 +0200 | bulwahn | added generation of predicates for size-limited enumeration of values | changeset | files |
| Thu, 26 Aug 2010 21:03:14 +0200 | haftmann | NEWS | changeset | files |
| Thu, 26 Aug 2010 20:51:29 +0200 | haftmann | merged | changeset | files |
| Thu, 26 Aug 2010 20:51:17 +0200 | haftmann | formerly unnamed infix impliciation now named HOL.implies | changeset | files |
| Thu, 26 Aug 2010 20:14:39 +0200 | haftmann | merged | changeset | files |
| Thu, 26 Aug 2010 20:14:24 +0200 | haftmann | proper passing of optional module name | changeset | files |
| Thu, 26 Aug 2010 16:00:54 +0200 | ballarin | For sublocale it is sufficient to reconsider ancestors of the target. | changeset | files |
| Thu, 26 Aug 2010 14:04:13 +0200 | haftmann | only print qualified implicits | changeset | files |
| Thu, 26 Aug 2010 13:56:35 +0200 | haftmann | merged | changeset | files |
| Thu, 26 Aug 2010 13:54:33 +0200 | haftmann | stub for (later) correct deresolving of class method names | changeset | files |
| Thu, 26 Aug 2010 13:50:58 +0200 | haftmann | tuned serializer interface | changeset | files |
| Thu, 26 Aug 2010 12:30:43 +0200 | haftmann | private version of commas, cf. printmode | changeset | files |
| Thu, 26 Aug 2010 12:20:34 +0200 | haftmann | merged | changeset | files |
| Thu, 26 Aug 2010 13:44:50 +0200 | haftmann | merged | changeset | files |
| Thu, 26 Aug 2010 13:25:14 +0200 | haftmann | re-added accidental omission | changeset | files |
| Thu, 26 Aug 2010 12:19:50 +0200 | haftmann | tuned includes | changeset | files |