equal
deleted
inserted
replaced
98 the plain @{method rule} method, with forward chaining of current |
98 the plain @{method rule} method, with forward chaining of current |
99 facts. |
99 facts. |
100 |
100 |
101 \item [@{method succeed}] yields a single (unchanged) result; it is |
101 \item [@{method succeed}] yields a single (unchanged) result; it is |
102 the identity of the ``@{text ","}'' method combinator (cf.\ |
102 the identity of the ``@{text ","}'' method combinator (cf.\ |
103 \secref{sec:syn-meth}). |
103 \secref{sec:proof-meth}). |
104 |
104 |
105 \item [@{method fail}] yields an empty result sequence; it is the |
105 \item [@{method fail}] yields an empty result sequence; it is the |
106 identity of the ``@{text "|"}'' method combinator (cf.\ |
106 identity of the ``@{text "|"}'' method combinator (cf.\ |
107 \secref{sec:syn-meth}). |
107 \secref{sec:proof-meth}). |
108 |
108 |
109 \end{descr} |
109 \end{descr} |
110 |
110 |
111 \begin{matharray}{rcl} |
111 \begin{matharray}{rcl} |
112 @{attribute_def tagged} & : & \isaratt \\ |
112 @{attribute_def tagged} & : & \isaratt \\ |