doc-src/TutorialI/Types/Pairs.thy
changeset 10608 620647438780
parent 10560 f4da791d4850
child 10654 458068404143
     1.1 --- a/doc-src/TutorialI/Types/Pairs.thy	Wed Dec 06 12:34:40 2000 +0100
     1.2 +++ b/doc-src/TutorialI/Types/Pairs.thy	Wed Dec 06 13:22:58 2000 +0100
     1.3 @@ -11,7 +11,7 @@
     1.4  problem: pattern matching with tuples.
     1.5  *}
     1.6  
     1.7 -subsection{*Notation*}
     1.8 +subsection{*Pattern matching with tuples*}
     1.9  
    1.10  text{*
    1.11  It is possible to use (nested) tuples as patterns in $\lambda$-abstractions,