Tue, 02 Jun 2015 13:55:43 +0200 | wenzelm | clarified context; | 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 |
Sat, 08 Nov 2014 21:31:51 +0100 | wenzelm | optional proof context for unify operations, for the sake of proper local options; | file | diff | annotate |