| Sat, 10 Oct 2015 16:40:43 +0200 | wenzelm | use Isabelle symbols by default; | file | diff | annotate |
| Mon, 13 Apr 2015 20:11:12 +0200 | noschinl | rewrite: with asm pattern, propagate also remaining assumptions to new subgoals | file | diff | annotate |
| Mon, 13 Apr 2015 10:21:35 +0200 | noschinl | enable \<hole> syntax for rewrite | file | diff | annotate |
| Wed, 08 Apr 2015 21:24:27 +0200 | wenzelm | more standard Isabelle/ML tool setup; | file | diff | annotate |
| Wed, 18 Mar 2015 13:51:33 +0100 | noschinl | added proof method rewrite | file | diff | annotate |