# HG changeset patch
# User nipkow
# Date 1041269595 -3600
# Node ID a9f000d3ecae411ddb8cfcea91d118e644ca506b
# Parent  1764a81b7a0a983bcdd6fffdc0a4f1c29364067c
*** empty log message ***

diff -r 1764a81b7a0a -r a9f000d3ecae doc-src/TutorialI/IsarOverview/Isar/Logic.thy
--- a/doc-src/TutorialI/IsarOverview/Isar/Logic.thy	Sun Dec 29 23:12:39 2002 +0100
+++ b/doc-src/TutorialI/IsarOverview/Isar/Logic.thy	Mon Dec 30 18:33:15 2002 +0100
@@ -635,6 +635,6 @@
 
 When converting a proof from tactic-style into Isar you can proceed
 in a top-down manner: parts of the proof can be left in script form
-while to outer structure is already expressed in Isar. *}
+while the outer structure is already expressed in Isar. *}
 
 (*<*)end(*>*)