--- a/src/HOL/Decision_Procs/ex/Approximation_Ex.thy Sat Jun 20 16:23:56 2015 +0200
+++ b/src/HOL/Decision_Procs/ex/Approximation_Ex.thy Sat Jun 20 16:31:44 2015 +0200
@@ -4,7 +4,7 @@
imports Complex_Main "../Approximation"
begin
-text {*
+text \<open>
Here are some examples how to use the approximation method.
@@ -31,7 +31,7 @@
specify the amount of derivations to compute. When using taylor series expansion
only one variable can be used.
-*}
+\<close>
section "Compute some transcendental values"