| Wed, 27 Oct 1999 17:25:53 +0200 | wenzelm | added init_context; | changeset | files |
| Wed, 27 Oct 1999 17:25:36 +0200 | wenzelm | quiet_update_thy: ml flag; | changeset | files |
| Wed, 27 Oct 1999 17:17:28 +0200 | nipkow | Fixed a bug in the EX simproc. | changeset | files |