# HG changeset patch
# User nipkow
# Date 1470758972 -7200
# Node ID 9a57baa15e1bacd50a67f57d07023df55946747b
# Parent  6f38b7abb648b0ada0a9e1e0a0702f8b526e5e38
adapted ZF,FOL,CCL,LCF to modified splitter

diff -r 6f38b7abb648 -r 9a57baa15e1b 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;