src/Provers/classical.ML

 structure ClasetThyData: CLASET_THY_DATA =
 struct
 
 (* data kind claset -- forward declaration *)
 
-val clasetK = "claset";
+val clasetK = "Provers/claset";
 exception ClasetData of object ref;
 
 local
   fun undef _ = raise Match;