src/HOL/Nominal/Examples/ROOT.ML

--- a/src/HOL/Nominal/Examples/ROOT.ML	Fri Apr 27 16:31:20 2007 +0200
+++ b/src/HOL/Nominal/Examples/ROOT.ML	Fri Apr 27 18:50:27 2007 +0200
@@ -6,6 +6,7 @@
 *)
 
 use_thy "CR";
+use_thy "CR_Takahashi";
 use_thy "Class";
 use_thy "Compile";
 use_thy "Fsub";