--- a/src/HOL/Deriv.thy Wed Oct 31 15:50:45 2018 +0100
+++ b/src/HOL/Deriv.thy Wed Oct 31 15:53:32 2018 +0100
@@ -62,7 +62,7 @@
fn context =>
Named_Theorems.get (Context.proof_of context) @{named_theorems derivative_intros}
|> map_filter eq_rule)
- end;
+ end
\<close>
text \<open>