src/HOL/Library/Rewrite.thy
6 months ago wenzelm 2019-01-06 isabelle update -u path_cartouches;
2015-10-10 wenzelm 2015-10-10 use Isabelle symbols by default;
2015-04-13 noschinl 2015-04-13 rewrite: with asm pattern, propagate also remaining assumptions to new subgoals
2015-04-13 noschinl 2015-04-13 enable \<hole> syntax for rewrite
2015-04-08 wenzelm 2015-04-08 more standard Isabelle/ML tool setup; proper file headers; tuned whitespace;
2015-03-18 noschinl 2015-03-18 added proof method rewrite