| Wed, 11 Oct 2006 22:55:18 +0200 | wenzelm | exit: pass interactive flag, toplevel result convention; | changeset | files |
| Wed, 11 Oct 2006 22:55:17 +0200 | wenzelm | add_defs: declare terms; | changeset | files |
| Wed, 11 Oct 2006 22:55:16 +0200 | wenzelm | 'context': demand 'begin', support local theory; | changeset | files |