
diff -r 272ba2cceeb2 -r 8d160d79b48c ProgTutorial/FirstSteps.thy
--- a/ProgTutorial/FirstSteps.thy	Sat Nov 07 10:08:09 2009 +0100
+++ b/ProgTutorial/FirstSteps.thy	Mon Nov 09 09:25:51 2009 +0100
@@ -953,7 +953,7 @@
   we can write an antiquotation for type patterns.
 *}
 
-ML %linenosgray{*let
+ML{*let
   val parser = Args.context -- Scan.lift Args.name_source
 
   fun typ_pat (ctxt, str) =




