Fri, 04 Sep 2015 13:39:20 +0200 | wenzelm | trim context for persistent storage; | file | diff | annotate |
Mon, 27 Jul 2015 17:44:55 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Sat, 25 Jul 2015 23:41:53 +0200 | wenzelm | updated to infer_instantiate; | file | diff | annotate |
Wed, 08 Jul 2015 19:28:43 +0200 | wenzelm | Variable.focus etc.: optional bindings provided by user; | file | diff | annotate |
Fri, 06 Mar 2015 15:58:56 +0100 | wenzelm | Thm.cterm_of and Thm.ctyp_of operate on local context; | file | diff | annotate |
Fri, 06 Mar 2015 13:39:34 +0100 | wenzelm | clarified context; | file | diff | annotate |
Wed, 04 Mar 2015 19:53:18 +0100 | wenzelm | tuned signature -- prefer qualified names; | file | diff | annotate |
Tue, 03 Mar 2015 19:08:04 +0100 | traytel | eliminated some clones of Proof_Context.cterm_of | file | diff | annotate |
Wed, 29 Oct 2014 13:42:38 +0100 | wenzelm | modernized setup; | file | diff | annotate | base |