src/FOL/simpdata.ML

--- a/src/FOL/simpdata.ML	Tue Aug 09 17:00:36 2016 +0200
+++ b/src/FOL/simpdata.ML	Tue Aug 09 18:09:32 2016 +0200
@@ -97,6 +97,7 @@
   val contrapos = @{thm contrapos}
   val contrapos2 = @{thm contrapos2}
   val notnotD = @{thm notnotD}
+  val safe_tac = Cla.safe_tac
 );
 
 val split_tac = Splitter.split_tac;