| Sat, 10 Oct 2015 20:54:44 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Sat, 10 Oct 2015 20:51:39 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 23 Jul 2015 14:25:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sat, 14 Dec 2013 17:28:05 +0100 | wenzelm | proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.; | file | diff | annotate |
| Thu, 28 Feb 2013 14:22:14 +0100 | wenzelm | eliminated legacy 'axioms'; | file | diff | annotate |
| Sun, 15 May 2011 17:45:53 +0200 | wenzelm | simplified/unified method_setup/attribute_setup; | file | diff | annotate |
| Mon, 06 Sep 2010 19:13:10 +0200 | wenzelm | more antiquotations; | file | diff | annotate |