--- a/IOA/example/Correctness.thy	Fri Apr 14 11:23:33 1995 +0200
+++ b/IOA/example/Correctness.thy	Wed Jun 21 15:12:40 1995 +0200
@@ -15,8 +15,8 @@
 defs
 
 hom_def 
-"hom(s) == rq(rec(s)) @ if(rbit(rec(s)) = sbit(sen(s)),  \
-\                          sq(sen(s)),                   \
-\                          ttl(sq(sen(s))))"
+"hom(s) == rq(rec(s)) @ if(rbit(rec(s)) = sbit(sen(s)),  
+                          sq(sen(s)),                   
+                          ttl(sq(sen(s))))"
 
 end