| Thu, 23 Nov 2006 20:33:37 +0100 | wenzelm | uniform interface for type_syntax/term_syntax/declaration, dependent on morphism; | file | diff | annotate |
| Wed, 22 Nov 2006 17:38:36 +0100 | wenzelm | consts: ProofContext.set_stmt true -- avoids naming of local thms; | file | diff | annotate |
| Tue, 21 Nov 2006 18:07:29 +0100 | wenzelm | LocalTheory.axioms/notes/defs: proper kind; | file | diff | annotate |
| Fri, 10 Nov 2006 22:18:53 +0100 | wenzelm | removed mapping; | file | diff | annotate |
| Thu, 09 Nov 2006 21:44:34 +0100 | wenzelm | init: '-' refers to global context; | file | diff | annotate |
| Sat, 14 Oct 2006 23:25:56 +0200 | wenzelm | added peek; | file | diff | annotate |
| Thu, 12 Oct 2006 22:57:42 +0200 | wenzelm | added peek; | file | diff | annotate |
| Wed, 11 Oct 2006 22:55:21 +0200 | wenzelm | exit: pass interactive flag; | file | diff | annotate |
| Wed, 11 Oct 2006 00:27:37 +0200 | wenzelm | added begin; | file | diff | annotate |
| Mon, 09 Oct 2006 02:20:08 +0200 | wenzelm | added exit; | file | diff | annotate |
| Sat, 07 Oct 2006 01:31:23 +0200 | wenzelm | Common theory targets. | file | diff | annotate |