| Thu, 18 May 2000 19:10:08 +0200 | wenzelm | * HOL/ML: even fewer consts are declared as global (see theories Ord, | changeset | files |
| Thu, 18 May 2000 19:04:04 +0200 | wenzelm | print_state: flag for proof only; | changeset | files |
| Thu, 18 May 2000 18:48:55 +0200 | wenzelm | hide: check declared; | changeset | files |