Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
authornipkow
Mon, 30 Dec 2002 18:33:15 +0100
changeset 13769 a9f000d3ecae
parent 13768 1764a81b7a0a
child 13770 8060978feaf4
*** empty log message ***
doc-src/TutorialI/IsarOverview/Isar/Logic.thy file | annotate | diff | comparison | revisions 
--- 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(*>*)
isabelle