changeset 43522 | e3fdb7c96be5 |
parent 43497 | 6ac8c55c657e |
child 43535 | 2080fe35abea |
1.1 --- a/doc-src/IsarRef/Thy/document/Proof.tex Tue May 03 14:23:40 2011 +0200 1.2 +++ b/doc-src/IsarRef/Thy/document/Proof.tex Tue May 03 15:07:36 2011 +0200 1.3 @@ -9,7 +9,7 @@ 1.4 \isatagtheory 1.5 \isacommand{theory}\isamarkupfalse% 1.6 \ Proof\isanewline 1.7 -\isakeyword{imports}\ Main\isanewline 1.8 +\isakeyword{imports}\ Base\ Main\isanewline 1.9 \isakeyword{begin}% 1.10 \endisatagtheory 1.11 {\isafoldtheory}%