changeset 30172 | afdf7808cfd0 |
parent 29731 | efcbbd7baa02 |
child 30242 | aea5d7fa7ef5 |
--- a/doc-src/IsarRef/Thy/document/Quick_Reference.tex Sat Feb 28 17:08:33 2009 +0100 +++ b/doc-src/IsarRef/Thy/document/Quick_Reference.tex Sat Feb 28 17:09:32 2009 +0100 @@ -3,8 +3,6 @@ \def\isabellecontext{Quick{\isacharunderscore}Reference}% % \isadelimtheory -\isanewline -\isanewline % \endisadelimtheory %