| Thu, 09 Dec 2021 08:32:29 +0100 | nipkow | Rewrite: added links to docu, made more prominent | file | diff | annotate |
| Thu, 28 Oct 2021 20:01:59 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
| Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
| 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 |