src/Doc/Codegen/Adaptation.thy
changeset 65041 2525e680f94f
parent 63680 6e1e8b5abbfa
child 66453 cc19f7ca2ed6
     1.1 --- a/src/Doc/Codegen/Adaptation.thy	Wed Feb 22 16:21:26 2017 +0000
     1.2 +++ b/src/Doc/Codegen/Adaptation.thy	Wed Feb 22 20:24:50 2017 +0100
     1.3 @@ -148,7 +148,7 @@
     1.4    discretion of the user to take care for this.
     1.5  \<close>
     1.6  
     1.7 -subsection \<open>Common adaptation applications\<close>
     1.8 +subsection \<open>Common adaptation applications \label{sec:common_adaptation}\<close>
     1.9  
    1.10  text \<open>
    1.11    The @{theory HOL} @{theory Main} theory already provides a code