Mon, 04 Dec 2000 23:20:37 +0100 | wenzelm | diagnostic commands: comment; | changeset | files |
Mon, 04 Dec 2000 23:18:24 +0100 | wenzelm | export get_skolem; | changeset | files |
Mon, 04 Dec 2000 23:18:07 +0100 | wenzelm | fixed binding of parameters; | changeset | files |
Mon, 04 Dec 2000 23:17:23 +0100 | wenzelm | dignostic commands: comment; | changeset | files |
Mon, 04 Dec 2000 23:16:25 +0100 | wenzelm | include table of Isabelle standard symbols; | changeset | files |
Mon, 04 Dec 2000 17:30:40 +0100 | paulson | loads the new theory Numbers.thy | changeset | files |