| changeset 12821 | ed702a3af45c |
| parent 12790 | 8108791e2906 |
| child 13081 | ab4a3aef3591 |
--- a/doc-src/TutorialI/tutorial.ind Mon Jan 21 11:25:45 2002 +0100 +++ b/doc-src/TutorialI/tutorial.ind Mon Jan 21 13:44:16 2002 +0100 @@ -647,7 +647,6 @@ \indexspace - \item Wenzel, Markus, vii \item \isa {wf_induct} (theorem), \bold{115} \item \isa {wf_inv_image} (theorem), \bold{115} \item \isa {wf_less_than} (theorem), \bold{114}