| Wed, 13 Jun 2007 00:01:51 +0200 | wenzelm | Method.Basic: include position; | file | diff | annotate |
| Mon, 23 Apr 2007 20:44:08 +0200 | wenzelm | simplified ProofContext.read_termTs; | file | diff | annotate |
| Fri, 13 Apr 2007 10:01:43 +0200 | ballarin | Experimental interpretation code for definitions. | file | diff | annotate |
| Tue, 03 Apr 2007 19:24:13 +0200 | wenzelm | renamed Variable.import to import_thms (avoid clash with Alice keywords); | file | diff | annotate |
| Fri, 19 Jan 2007 22:08:08 +0100 | wenzelm | moved parts of OuterParse to SpecParse; | file | diff | annotate |
| Wed, 29 Nov 2006 04:11:17 +0100 | wenzelm | Element.generalize_facts; | file | diff | annotate |
| Thu, 23 Nov 2006 00:52:23 +0100 | wenzelm | replaced Args.map_values/Element.map_ctxt_values by general morphism application; | file | diff | annotate |