diff -r a21d7b300616 -r 8db9195bb3e9 CookBook/ROOT.ML
--- a/CookBook/ROOT.ML	Sun Feb 22 13:37:47 2009 +0000
+++ b/CookBook/ROOT.ML	Mon Feb 23 00:27:27 2009 +0000
@@ -24,6 +24,7 @@
 use_thy "Recipes/ExternalSolver";
 use_thy "Recipes/Oracle";
 use_thy "Recipes/Sat";
+use_thy "Recipes/USTypes";
 
 use_thy "Solutions";
 use_thy "Readme";