penultimate Springer draft
authorlcp
Fri Apr 15 18:10:49 1994 +0200 (1994-04-15)
changeset 3277f3642193d85
parent 326 bef614030e24
child 328 2d1b460dbb62
penultimate Springer draft
doc-src/Ref/undocumented.tex
     1.1 --- a/doc-src/Ref/undocumented.tex	Fri Apr 15 18:04:01 1994 +0200
     1.2 +++ b/doc-src/Ref/undocumented.tex	Fri Apr 15 18:10:49 1994 +0200
     1.3 @@ -244,8 +244,6 @@
     1.4  flex-flex pairs by choosing the obvious unifier. It may be used to tidy up
     1.5  any flex-flex pairs remaining at the end of a proof.
     1.6  
     1.7 -\subsubsection{Flexible-flexible disagreement pairs}
     1.8 -
     1.9  
    1.10  \subsubsection{Multiple unifiers}
    1.11  The unification procedure performs Huet's {\sc match} operation