| Mon, 26 Nov 2007 12:19:26 +0100 | wenzelm | moved new NEWS from Isabelle2007 to this Isabelle version''; | changeset | files |
| Mon, 26 Nov 2007 10:42:39 +0100 | haftmann | simplified website rsync | changeset | files |
| Fri, 23 Nov 2007 21:09:35 +0100 | haftmann | rudimentary instantiation target | changeset | files |
| Fri, 23 Nov 2007 21:09:34 +0100 | haftmann | explicit type signature | changeset | files |
| Fri, 23 Nov 2007 21:09:33 +0100 | haftmann | interpretation of typedecls: instantiation to class type | changeset | files |
| Fri, 23 Nov 2007 21:09:32 +0100 | haftmann | deleted card definition as code lemma; authentic syntax for card | changeset | files |
| Fri, 23 Nov 2007 21:09:30 +0100 | haftmann | separated typedecl module, providing typedecl command with interpretation | changeset | files |
| Fri, 23 Nov 2007 17:37:56 +0100 | paulson | faster metis calls | changeset | files |