
diff -r 0a25b35178c3 -r 5e0a2b50707e ProgTutorial/Solutions.thy
--- a/ProgTutorial/Solutions.thy	Mon May 17 17:27:21 2010 +0100
+++ b/ProgTutorial/Solutions.thy	Mon May 17 18:20:48 2010 +0100
@@ -254,7 +254,7 @@
     | _ => Conv.all_conv ctrm
 end
 
-val add_conv = More_Conv.bottom_conv add_simple_conv
+val add_conv = Conv.bottom_conv add_simple_conv
 
 fun add_tac ctxt = CONVERSION (add_conv ctxt)*}
 




