| Fri, 25 Sep 2015 20:37:59 +0200 | wenzelm | moved remaining display.ML to more_thm.ML; | file | diff | annotate |
| Tue, 28 Jul 2015 23:14:40 +0200 | wenzelm | clarified context; | file | diff | annotate |
| Wed, 26 Nov 2014 20:05:34 +0100 | wenzelm | renamed "pairself" to "apply2", in accordance to @{apply 2}; | 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 |
| Fri, 21 Mar 2014 20:33:56 +0100 | wenzelm | more qualified names; | file | diff | annotate |
| Sat, 14 Jan 2012 19:06:05 +0100 | wenzelm | renamed Term.all to Logic.all_const, in accordance to HOLogic.all_const; | file | diff | annotate |
| Wed, 10 Aug 2011 19:46:48 +0200 | wenzelm | avoid OldTerm operations -- with subtle changes of semantics; | file | diff | annotate |