src/HOL/Relation.thy
changeset 56790 f54097170704
parent 56742 678a52e676b6
child 57111 de33f3965ca6
     1.1 --- a/src/HOL/Relation.thy	Tue Apr 29 16:00:34 2014 +0200
     1.2 +++ b/src/HOL/Relation.thy	Tue Apr 29 16:02:02 2014 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory; Stefan Berghofer, TU Muenchen
     1.5  *)
     1.6  
     1.7 -header {* Relations – as sets of pairs, and binary predicates *}
     1.8 +header {* Relations -- as sets of pairs, and binary predicates *}
     1.9  
    1.10  theory Relation
    1.11  imports Finite_Set