
diff -r 6bf955db9b62 -r 28a49fe024c9 ProgTutorial/FirstSteps.thy
--- a/ProgTutorial/FirstSteps.thy	Tue Nov 03 07:10:05 2009 +0100
+++ b/ProgTutorial/FirstSteps.thy	Tue Nov 03 13:57:03 2009 +0100
@@ -404,7 +404,7 @@
   comprehension of the code, but after getting familiar with them, they
   actually ease the understanding and also the programming.
 
-  The simplest combinator is @{ML_ind I in Basic_Library}, which is just the 
+  The simplest combinator is @{ML_ind I in Library}, which is just the 
   identity function defined as
 *}
 




