| Mon, 02 Jan 2006 20:42:12 +0100 | wenzelm | outline; | changeset | files |
| Mon, 02 Jan 2006 20:16:52 +0100 | wenzelm | "The Isabelle/Isar Implementation" manual; | changeset | files |
| Sat, 31 Dec 2005 21:49:44 +0100 | wenzelm | * Provers/classical: removed obsolete classical version of elim_format; | changeset | files |