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