Mercurial Mercurial > hg > isabelle-cookbook / 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.
spell checker
authorgriff
Wed, 22 Jul 2009 14:02:47 +0200
changeset 285 abe5306cacbe
parent 284 ee139d9d7ab8
child 286 ff0b3d87a551
spell checker
ProgTutorial/Parsing.thy file | annotate | diff | comparison | revisions 
--- a/ProgTutorial/Parsing.thy	Wed Jul 22 13:59:37 2009 +0200
+++ b/ProgTutorial/Parsing.thy	Wed Jul 22 14:02:47 2009 +0200
@@ -624,7 +624,7 @@
 
 text {*
   There is usually no need to write your own parser for parsing inner syntax, that is 
-  for terms and  types: you can just call the pre-defined parsers. Terms can 
+  for terms and  types: you can just call the predefined parsers. Terms can 
   be parsed using the function @{ML OuterParse.term}. For example:
 
 @{ML_response [display,gray]
isabelle-cookbook