| Sat, 17 May 2008 13:54:30 +0200 | wenzelm | structure Display: less pervasive operations; | file | diff | annotate |
| Thu, 28 Feb 2008 12:56:33 +0100 | wenzelm | removed legacy ML bindings; | file | diff | annotate |
| Thu, 30 Aug 2007 22:35:34 +0200 | wenzelm | replaced ProofContext.infer_types by general Syntax.check_terms; | file | diff | annotate |
| Thu, 31 May 2007 13:18:52 +0200 | wenzelm | moved TFL files to canonical place; | file | diff | annotate |