Sat, 03 May 2003 13:31:07 +0200 | kleing | fix for new \isasymeuro | changeset | files |
Fri, 02 May 2003 20:06:59 +0200 | ballarin | File for document preparation. | changeset | files |
Fri, 02 May 2003 20:02:50 +0200 | ballarin | HOL-Algebra complete for release Isabelle2003 (modulo section headers). | changeset | files |