1.1 --- a/src/Tools/isac/Knowledge/Rational.thy	Tue Aug 17 22:50:20 2021 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Rational.thy	Wed Aug 18 11:35:24 2021 +0200
     1.3 @@ -863,5 +863,6 @@
     1.4    Find: "normalform n_n"
     1.5  ML \<open>
     1.6  \<close> ML \<open>
     1.7 +\<close> ML \<open>
     1.8  \<close>
     1.9  end