
diff -r ed797395fab6 -r 007922777ff1 ProgTutorial/Parsing.thy
--- a/ProgTutorial/Parsing.thy	Sun Aug 16 22:14:36 2009 +0200
+++ b/ProgTutorial/Parsing.thy	Mon Aug 17 20:57:32 2009 +0200
@@ -1,5 +1,6 @@
 theory Parsing
 imports Base "Package/Simple_Inductive_Package"
+uses "Parsing.ML"
 begin
 
 chapter {* Parsing *}




