Tue, 27 Jan 2009 19:41:44 +0100 | wenzelm | eliminated Prover.start -- part of main constructor; | changeset | files |
Tue, 27 Jan 2009 19:27:59 +0100 | wenzelm | tuned whitespace; | changeset | files |
Tue, 27 Jan 2009 18:58:16 +0100 | wenzelm | added Isabelle.default_logic; | changeset | files |