Sun, 26 Jul 2015 17:24:54 +0200 | wenzelm | updated to infer_instantiate; | 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 |
Tue, 03 Mar 2015 19:08:04 +0100 | traytel | eliminated some clones of Proof_Context.cterm_of | file | diff | annotate |
Tue, 06 Jan 2015 09:59:43 +0100 | blanchet | tuning | file | diff | annotate |
Mon, 05 Jan 2015 10:09:42 +0100 | blanchet | added plugins syntax to prim(co)rec | file | diff | annotate |
Mon, 05 Jan 2015 06:56:15 +0100 | blanchet | tuning | file | diff | annotate |
Fri, 19 Dec 2014 14:06:13 +0100 | desharna | Add plugin to generate transfer theorem for primrec and primcorec | file | diff | annotate |