| Fri, 06 Dec 2024 13:33:25 +0100 | wenzelm | clarified printing of consts: rename apart from all bounds, and thus avoid old Term.declare_free_names with its adhoc policy ("as they are printed"); | file | diff | annotate |
| Fri, 20 Sep 2024 19:51:08 +0200 | wenzelm | standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing; | file | diff | annotate |
| Mon, 22 Jul 2024 20:13:38 +0100 | paulson | More simplification of proofs. Trying to fix the syntax too | file | diff | annotate |
| Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Fri, 26 Jun 2015 10:20:33 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Wed, 22 Apr 2015 12:11:48 +0200 | nipkow | added simp rules for ==> | file | diff | annotate |
| Wed, 11 Jun 2014 14:24:23 +1000 | Thomas Sewell | Hypsubst preserves equality hypotheses | file | diff | annotate |