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