Thu, 09 Nov 2000 21:38:00 +0100 | wenzelm | fixed \title: convert "_" to "-"; | changeset | files |
Wed, 08 Nov 2000 23:04:54 +0100 | wenzelm | tuned isabelle environment; | changeset | files |
Wed, 08 Nov 2000 17:46:24 +0100 | nipkow | subgoals | changeset | files |