src/HOL/Library/Rewrite.thy
Mon, 13 Apr 2015 10:21:35 +0200 noschinl enable \<hole> syntax for rewrite
Wed, 08 Apr 2015 21:24:27 +0200 wenzelm more standard Isabelle/ML tool setup;
Wed, 18 Mar 2015 13:51:33 +0100 noschinl added proof method rewrite
less more (0) tip