src/HOL/Prolog/Func.thy
changeset 63167 0909deb8059b
parent 61337 4645502c3c64
     1.1 --- a/src/HOL/Prolog/Func.thy	Thu May 26 16:57:14 2016 +0200
     1.2 +++ b/src/HOL/Prolog/Func.thy	Thu May 26 17:51:22 2016 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4      Author:   David von Oheimb (based on a lecture on Lambda Prolog by Nadathur)
     1.5  *)
     1.6  
     1.7 -section {* Untyped functional language, with call by value semantics *}
     1.8 +section \<open>Untyped functional language, with call by value semantics\<close>
     1.9  
    1.10  theory Func
    1.11  imports HOHH