
diff -r 56247fdb8bbb -r 1c50ddcf6a01 src/HOL/Library/Rewrite.thy
--- a/src/HOL/Library/Rewrite.thy	Mon Dec 06 15:34:54 2021 +0100
+++ b/src/HOL/Library/Rewrite.thy	Thu Dec 09 08:32:29 2021 +0100
@@ -2,6 +2,8 @@
     Author:     Christoph Traut, Lars Noschinski, TU Muenchen
 
 Proof method "rewrite" with support for subterm-selection based on patterns.
+
+Documentation: https://arxiv.org/abs/2111.04082
 *)
 
 theory Rewrite




