| Sat, 10 Nov 2012 20:16:16 +0100 | wenzelm | updated subgoaler/solver/looper; | file | diff | annotate |
| Thu, 08 Nov 2012 20:20:38 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 08 Nov 2012 20:18:34 +0100 | wenzelm | updated explanation of rewrite rules; | file | diff | annotate |
| Wed, 07 Nov 2012 21:43:02 +0100 | wenzelm | (re)moved old material about Simplifier; | file | diff | annotate |
| Wed, 07 Nov 2012 12:14:38 +0100 | wenzelm | moved classical wrappers to IsarRef; | file | diff | annotate |
| Sun, 04 Nov 2012 20:23:26 +0100 | wenzelm | avoid clash of terminology wrt. "semi-automated" in the sense of Isar (e.g. method "rule"); | file | diff | annotate |