| Tue, 08 Jan 2008 11:37:32 +0100 | haftmann | tuned comment | changeset | files |
| Tue, 08 Jan 2008 11:37:30 +0100 | haftmann | explicit type variables for instantiation | changeset | files |
| Tue, 08 Jan 2008 11:37:29 +0100 | haftmann | better error reporting | changeset | files |
| Tue, 08 Jan 2008 11:37:28 +0100 | haftmann | tuned | changeset | files |
| Tue, 08 Jan 2008 11:37:27 +0100 | haftmann | refined overloading target | changeset | files |
| Tue, 08 Jan 2008 10:24:34 +0100 | berghofe | imp_conv_disj is now declared as a "code unfold" lemma to avoid that | changeset | files |
| Mon, 07 Jan 2008 11:40:20 +0100 | wenzelm | isabelle.jars: temporarily disabled, until isatest gets up-to-date java; | changeset | files |
| Mon, 07 Jan 2008 02:24:24 +0100 | urbanc | some pre-release tunings | changeset | files |