Mon, 15 Dec 1997 14:14:06 +0100 | wenzelm | No longer depend on theory context! | changeset | files |
Sat, 13 Dec 1997 17:27:16 +0100 | wenzelm | version = "Isabelle98: Jan 1998"; | changeset | files |
Sat, 13 Dec 1997 17:22:41 +0100 | wenzelm | tuned comment; | changeset | files |