1.1 --- a/doc-src/TutorialI/Misc/pairs.thy Mon Jun 23 15:26:49 2008 +0200
1.2 +++ b/doc-src/TutorialI/Misc/pairs.thy Mon Jun 23 15:26:51 2008 +0200
1.3 @@ -22,7 +22,8 @@
1.4 Products, like type @{typ nat}, are datatypes, which means
1.5 in particular that @{text induct_tac} and @{text case_tac} are applicable to
1.6 terms of product type.
1.7 -Both replace the term by a pair of variables.
1.8 +Both split the term into a number of variables corresponding to the tuple structure
1.9 +(up to 7 components).
1.10 \item
1.11 Tuples with more than two or three components become unwieldy;
1.12 records are preferable.