src/HOL/ex/Unification.thy
changeset 56790 f54097170704
parent 44428 ccb8998f70b7
child 58249 180f1b3508ed
     1.1 --- a/src/HOL/ex/Unification.thy	Tue Apr 29 16:00:34 2014 +0200
     1.2 +++ b/src/HOL/ex/Unification.thy	Tue Apr 29 16:02:02 2014 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4    Ph.D. thesis, TUM, 1999, Sect. 5.8
     1.5  
     1.6    A Krauss, Partial and Nested Recursive Function Definitions in
     1.7 -  Higher-Order Logic, JAR 44(4):303–336, 2010. Sect. 6.3
     1.8 +  Higher-Order Logic, JAR 44(4):303-336, 2010. Sect. 6.3
     1.9  *}
    1.10  
    1.11