diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-11-23 20:11:09 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-11-23 20:11:09 +0000 |
| commit | e4f731595f83d9ce21f4d6dbdd922e1561ad6a2f (patch) | |
| tree | eee42626ffec79a8f05203563b8cfe6cd215100b /doc/Cases.tex | |
| parent | 89ff5b72ef74d831fd44e19111357c2d27a73fc2 (diff) | |
Reference
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8360 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/Cases.tex')
| -rw-r--r-- | doc/Cases.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Cases.tex b/doc/Cases.tex index ad7e6853c..06dd10d7d 100644 --- a/doc/Cases.tex +++ b/doc/Cases.tex @@ -1,7 +1,7 @@ \achapter{Extended pattern-matching}\defaultheaders \aauthor{Cristina Cornes} -\label{Mult-Cases-full} +\label{Mult-match-full} \ttindex{Cases} \index{ML-like patterns} @@ -31,7 +31,7 @@ does and {\sl identifier} is bound to the matched value. A list of patterns is also considered as a pattern and is called {\em multiple pattern}. -Notice also the annotation is mandatory when the sequence of equation is +Notice also that the annotation is mandatory when the sequence of equation is empty. \begin{figure}[t] |