
diff -r 76cdc8f562fc -r d7944bdf7b3f CookBook/Solutions.thy
--- a/CookBook/Solutions.thy	Wed Mar 04 13:15:29 2009 +0000
+++ b/CookBook/Solutions.thy	Wed Mar 04 13:50:47 2009 +0000
@@ -1,6 +1,5 @@
 theory Solutions
 imports Base
-uses "infix_conv.ML"
 begin
 
 chapter {* Solutions to Most Exercises\label{ch:solutions} *}




