1.1 --- a/doc-src/TutorialI/Rules/Primes.thy	Sat Jul 19 19:27:13 2008 +0200
     1.2 +++ b/doc-src/TutorialI/Rules/Primes.thy	Sun Jul 20 11:10:04 2008 +0200
     1.3 @@ -151,7 +151,7 @@
     1.4  
     1.5  
     1.6  lemma gcd_dvd_gcd_mult: "gcd m n dvd gcd (k*m) n"
     1.7 -  apply (blast intro: dvd_trans);
     1.8 +  apply (auto intro: dvd_trans [of _ m])
     1.9    done
    1.10  
    1.11  (*This is half of the proof (by dvd_anti_sym) of*)