# HG changeset patch
# User nipkow
# Date 764438204 -3600
# Node ID dcde5024895df0f34b5def531543451dd82fd7ac
# Parent  058343877e3af286c68d25953d299fc0e589cf36
have broken line

diff -r 058343877e3a -r dcde5024895d doc-src/Ref/theory-syntax.tex
--- a/doc-src/Ref/theory-syntax.tex	Wed Mar 23 15:21:41 1994 +0100
+++ b/doc-src/Ref/theory-syntax.tex	Wed Mar 23 16:56:44 1994 +0100
@@ -18,7 +18,7 @@
 
 name: id | string;
 
-extension : classes default types arities consts trans rules 'end' ml
+extension : classes default types arities consts trans rules \\ 'end' ml
           ;
 
 classes : ()