src/HOL/GCD.thy
changeset 61975 b4b11391c676
parent 61954 1d43f86f48be
child 62343 24106dc44def
     1.1 --- a/src/HOL/GCD.thy	Wed Dec 30 11:32:56 2015 +0100
     1.2 +++ b/src/HOL/GCD.thy	Wed Dec 30 11:37:29 2015 +0100
     1.3 @@ -2232,6 +2232,6 @@
     1.4    \<rightharpoonup> (OCaml) "Big'_int.gcd'_big'_int"
     1.5    and (Haskell) "Prelude.gcd"
     1.6    and (Scala) "_.gcd'((_)')"
     1.7 -  -- \<open>There is no gcd operation in the SML standard library, so no code setup for SML\<close>
     1.8 +  \<comment> \<open>There is no gcd operation in the SML standard library, so no code setup for SML\<close>
     1.9  
    1.10  end