| Fri, 06 Mar 2015 15:58:56 +0100 | wenzelm | Thm.cterm_of and Thm.ctyp_of operate on local context; | file | diff | annotate |
| Wed, 04 Mar 2015 22:05:01 +0100 | wenzelm | clarified signature; | 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 15:28:27 +0100 | wenzelm | modernized setup; | file | diff | annotate |
| Thu, 18 Apr 2013 17:07:01 +0200 | wenzelm | simplifier uses proper Proof.context instead of historic type simpset; | file | diff | annotate |
| Fri, 13 Apr 2012 14:00:26 +0200 | wenzelm | updated headers; | file | diff | annotate |
| Tue, 03 Apr 2012 22:04:50 +0200 | huffman | renamed Tools/transfer.ML to Tools/legacy_transfer.ML | file | diff | annotate | base |