src/HOL/Library/rewrite.ML
2015-04-08 wenzelm 2015-04-08 more standard Isabelle/ML tool setup; proper file headers; tuned whitespace;
2015-04-08 wenzelm 2015-04-08 proper context for Object_Logic operations;
2015-03-18 noschinl 2015-03-18 added proof method rewrite