# HG changeset patch
# User griff
# Date 1248268522 -7200
# Node ID 4b75f40b3e6c62fc6b92dabc1e1216bd14896072
# Parent  ff0b3d87a551461ffabf8e11cdfb137a39160f81
typo

diff -r ff0b3d87a551 -r 4b75f40b3e6c ProgTutorial/Parsing.thy
--- a/ProgTutorial/Parsing.thy	Wed Jul 22 15:14:29 2009 +0200
+++ b/ProgTutorial/Parsing.thy	Wed Jul 22 15:15:22 2009 +0200
@@ -1099,7 +1099,7 @@
   parser @{ML Scan.succeed}) and only applies a single tactic, namely the tactic which 
   applies @{thm [source] conjE} and then @{thm [source] conjI}. The function 
   @{ML [index] SIMPLE_METHOD}
-  turns such a tactic into a method. The method @{text "foobar"} can be used as follows
+  turns such a tactic into a method. The method @{text "foo"} can be used as follows
 *}
 
 lemma shows "A \<and> B \<Longrightarrow> C \<and> D"
diff -r ff0b3d87a551 -r 4b75f40b3e6c progtutorial.pdf
Binary file progtutorial.pdf has changed