reactivated theory Class;

--- a/src/HOL/Nominal/Examples/ROOT.ML	Wed Jun 13 12:22:02 2007 +0200
+++ b/src/HOL/Nominal/Examples/ROOT.ML	Wed Jun 13 14:21:54 2007 +0200
@@ -5,9 +5,9 @@
 Various examples involving nominal datatypes.
 *)
 
-(*use_thy "Class";*)
 use_thy "CR";
 use_thy "CR_Takahashi";
+use_thy "Class";
 use_thy "Compile";
 use_thy "Fsub";
 use_thy "Height";