| 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 15:30:19 +0200 | wenzelm | more standard module name Axclass (according to file name); | file | diff | annotate |
| Tue, 09 Apr 2013 15:29:25 +0200 | wenzelm | discontinued Toplevel.no_timing complication -- also recovers timing of diagnostic commands, e.g. 'find_theorems'; | file | diff | annotate |
| Mon, 22 Oct 2012 19:02:36 +0200 | haftmann | close code theorems explicitly after preprocessing | file | diff | annotate |
| Tue, 05 Jun 2012 10:12:54 +0200 | haftmann | apply preprocessing simpset also to rhs of abstract code equations | file | diff | annotate |
| Sun, 18 Mar 2012 13:04:22 +0100 | wenzelm | maintain generic context naming in structure Name_Space (NB: empty = default_naming, init = local_naming); | file | diff | annotate |