| Sat, 25 May 2013 15:37:53 +0200 | wenzelm | syntax translations always depend on context; | file | diff | annotate |
| Thu, 16 May 2013 17:39:38 +0200 | wenzelm | tuned signature -- depend on context by default; | 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 |
| Wed, 10 Apr 2013 12:31:35 +0200 | wenzelm | prefer local context; | file | diff | annotate |
| Sat, 29 Sep 2012 18:23:46 +0200 | wenzelm | more explicit Syntax_Trans.mark_bound_abs/mark_bound_body: preserve type information for show_markup; | file | diff | annotate |
| Wed, 17 Aug 2011 18:05:31 +0200 | wenzelm | modernized signature of Term.absfree/absdummy; | file | diff | annotate |
| Sun, 15 May 2011 17:45:53 +0200 | wenzelm | simplified/unified method_setup/attribute_setup; | file | diff | annotate |