| 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 |