author | wenzelm |
Wed, 07 May 1997 16:40:00 +0200 | |
changeset 3130 | 1ffe03f4c700 |
parent 3129 | dd3666cbc764 |
child 3131 | 1ffa0963e6a4 |
--- a/doc-src/Ref/theory-syntax.tex Wed May 07 16:38:33 1997 +0200 +++ b/doc-src/Ref/theory-syntax.tex Wed May 07 16:40:00 1997 +0200 @@ -127,7 +127,7 @@ instance : 'instance' ( name '<' name | name '::' arity) witness ; -witness : (() | ((string | longident) + ',')) (() | verbatim) +witness : (() | '(' ((string | longident) + ',') ')') (() | verbatim) ; oracle : 'oracle' name