# HG changeset patch
# User griff
# Date 1288349504 -7200
# Node ID f03aad9923a00a2cac9359e9a517f04837cc29f0
# Parent  fc074e669f9f50e2d2779dbd808092c8358b2e89
added missing 'of'

diff -r fc074e669f9f -r f03aad9923a0 ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Fri Oct 29 11:00:37 2010 +0100
+++ b/ProgTutorial/Intro.thy	Fri Oct 29 12:51:44 2010 +0200
@@ -28,8 +28,8 @@
   Isabelle programming, and also explain ``tricks of the trade''. We also hope
   the tutorial will encourage students and researchers to play with Isabelle
   and implement new ideas. The source code of Isabelle can look intimidating,
-  but beginners can get by with knowledge of only a small number functions and
-  a few basic coding conventions.
+  but beginners can get by with knowledge of only a small number of functions
+  and a few basic coding conventions.
 
 
   The best way to get to know the ML-level of Isabelle is by experimenting