| changeset 11256 | 49afcce3bada |
| parent 11196 | bb4ede27fcb7 |
| child 11277 | a2bff98d6e5d |
--- a/doc-src/TutorialI/Advanced/Partial.thy Tue Apr 17 15:03:41 2001 +0200 +++ b/doc-src/TutorialI/Advanced/Partial.thy Tue Apr 17 16:54:38 2001 +0200 @@ -29,7 +29,7 @@ text{* The rest of this section is devoted to the question of how to define -partial recursive functions by other means that non-exhaustive pattern +partial recursive functions by other means than non-exhaustive pattern matching. *}