src/HOL/Algebra/AbelCoset.thy
changeset 21502 7f3ea2b3bab6
parent 20318 0e0ea63fe768
child 23350 50c5b0912a0c
     1.1 --- a/src/HOL/Algebra/AbelCoset.thy	Thu Nov 23 20:33:42 2006 +0100
     1.2 +++ b/src/HOL/Algebra/AbelCoset.thy	Thu Nov 23 20:34:21 2006 +0100
     1.3 @@ -13,7 +13,7 @@
     1.4  
     1.5  subsection {* Definitions *}
     1.6  
     1.7 -text {* Hiding @{text "<+>"} from \texttt{Sum\_Type.thy} until I come
     1.8 +text {* Hiding @{text "<+>"} from @{theory Sum_Type} until I come
     1.9    up with better syntax here *}
    1.10  
    1.11  hide const Plus