src/FOL/simpdata.ML

 
 (*** Case splitting ***)
 
 structure Splitter = Splitter
 (
-  val thy = @{theory}
+  val context = @{context}
   val mk_eq = mk_eq
   val meta_eq_to_iff = @{thm meta_eq_to_iff}
   val iffD = @{thm iffD2}
   val disjE = @{thm disjE}
   val conjE = @{thm conjE}