src/HOL/Hoare/Arith2.thy
changeset 57442 2373b4c61111
parent 44890 22f665a2e91c
child 62042 6c6ccf573479
     1.1 --- a/src/HOL/Hoare/Arith2.thy	Mon Jun 30 10:10:32 2014 +0200
     1.2 +++ b/src/HOL/Hoare/Arith2.thy	Mon Jun 30 10:34:28 2014 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  imports Main
     1.5  begin
     1.6  
     1.7 -definition "cd" :: "[nat, nat, nat] => bool"
     1.8 +definition cd :: "[nat, nat, nat] => bool"
     1.9    where "cd x m n \<longleftrightarrow> x dvd m & x dvd n"
    1.10  
    1.11  definition gcd :: "[nat, nat] => nat"