# HG changeset patch
# User blanchet
# Date 1310588179 -7200
# Node ID 0349175384f8a1bda80cccb8887cb3f1048c1956
# Parent  eb9be23db2b72116d28a3aa1e6b21ea1376805bc
pull in arithmetic theories

diff -r eb9be23db2b7 -r 0349175384f8 src/HOL/TPTP/CASC_Setup.thy
--- a/src/HOL/TPTP/CASC_Setup.thy	Wed Jul 13 22:16:19 2011 +0200
+++ b/src/HOL/TPTP/CASC_Setup.thy	Wed Jul 13 22:16:19 2011 +0200
@@ -8,7 +8,7 @@
 *)
 
 theory CASC_Setup
-imports Main
+imports Complex_Main
 uses "sledgehammer_tactics.ML"
 begin