| Fri, 22 Oct 1999 17:04:19 +0200 | paulson | tidied using modern infix form | changeset | files |
| Thu, 21 Oct 1999 19:00:25 +0200 | wenzelm | tuned trace_action; | changeset | files |
| Thu, 21 Oct 1999 19:00:01 +0200 | wenzelm | added known_thy; | changeset | files |
| Thu, 21 Oct 1999 18:59:25 +0200 | wenzelm | end/kill_theory: check_known_thy; | changeset | files |