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 |