| Wed, 02 Jan 2002 21:53:50 +0100 | wenzelm | first stage of major update; | changeset | files |
| Wed, 02 Jan 2002 21:52:54 +0100 | wenzelm | added zf.tex; | changeset | files |
| Wed, 02 Jan 2002 21:52:15 +0100 | wenzelm | added isabelle-intro, isabelle-logics; | changeset | files |
| Wed, 02 Jan 2002 21:51:38 +0100 | wenzelm | added \indexisarcmdof, \indexisarmethof, \indexisarattof; | changeset | files |
| Wed, 02 Jan 2002 16:07:16 +0100 | paulson | New theorems by Sidi Ehmety | changeset | files |
| Wed, 02 Jan 2002 16:06:31 +0100 | paulson | Literal arithmetic: raising numbers to powers (nat, int, real, hypreal) | changeset | files |
| Mon, 31 Dec 2001 14:13:07 +0100 | berghofe | Added "Executing higher order logic" paper. | changeset | files |
| Mon, 31 Dec 2001 14:08:23 +0100 | berghofe | Added section on code generator. | changeset | files |