summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

doc-src/TutorialI/Inductive/document/AB.tex

changeset 10520 | bb9dfcc87951 |

parent 10512 | d34192966cd8 |

child 10589 | b2d1b393b750 |

1.1 --- a/doc-src/TutorialI/Inductive/document/AB.tex Fri Nov 24 16:49:27 2000 +0100 1.2 +++ b/doc-src/TutorialI/Inductive/document/AB.tex Sun Nov 26 10:48:38 2000 +0100 1.3 @@ -276,7 +276,7 @@ 1.4 similar to the other cases (which are automatic in Isabelle). We conclude 1.5 that the authors are at least cavalier about this point and may even have 1.6 overlooked the slight difficulty lurking in the omitted cases. This is not 1.7 -atypical for pencil-and-paper proofs, once analysed in detail.% 1.8 +atypical for pen-and-paper proofs, once analysed in detail.% 1.9 \end{isamarkuptext}% 1.10 \end{isabellebody}% 1.11 %%% Local Variables: