src/HOL/Library/State_Monad.thy
changeset 40361 c409827db57d
parent 40359 84388bba911d
child 41229 d797baa3d57c
     1.1 --- a/src/HOL/Library/State_Monad.thy	Thu Nov 04 17:27:37 2010 +0100
     1.2 +++ b/src/HOL/Library/State_Monad.thy	Thu Nov 04 17:27:37 2010 +0100
     1.3 @@ -146,7 +146,7 @@
     1.4    "_sdo_block (_sdo_final e)" => "e"
     1.5  
     1.6  text {*
     1.7 -  For an example, see @{text HOL/Proofs/Extraction/Higman.thy}.
     1.8 +  For an example, see @{text "HOL/Proofs/Extraction/Higman.thy"}.
     1.9  *}
    1.10  
    1.11  end