diff -r 1aaa15ef731b -r 647cab4a72c2 ProgTutorial/ROOT.ML
--- a/ProgTutorial/ROOT.ML	Wed Apr 01 12:29:10 2009 +0100
+++ b/ProgTutorial/ROOT.ML	Wed Apr 01 15:42:47 2009 +0100
@@ -13,6 +13,7 @@
 use_thy "Package/Ind_Interface";
 use_thy "Package/Ind_General_Scheme";
 use_thy "Package/Ind_Code";
+use_thy "Package/Ind_Extensions";
 
 use_thy "Appendix";
 use_thy "Recipes/Antiquotes";