--- a/etc/components Wed Jan 01 12:57:26 2014 +0100
+++ b/etc/components Wed Jan 01 13:24:23 2014 +0100
@@ -8,5 +8,4 @@
src/HOL/Tools
src/HOL/Tools/ATP
src/HOL/Tools/Sledgehammer/MaSh
-src/HOL/Tools/SMT
src/HOL/TPTP
--- a/src/HOL/Tools/SMT/etc/settings Wed Jan 01 12:57:26 2014 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-# -*- shell-script -*- :mode=shellscript:
-
-ISABELLE_SMT="$COMPONENT"
-
-ISABELLE_SMT_REMOTE="$ISABELLE_SMT/lib/scripts/remote_smt"
-ISABELLE_SMT_REMOTE_URL="http://smt.in.tum.de/smt"
-
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Tools/etc/settings Wed Jan 01 13:24:23 2014 +0100
@@ -0,0 +1,5 @@
+# -*- shell-script -*- :mode=shellscript:
+
+ISABELLE_SMT_REMOTE="$ISABELLE_HOME/src/HOL/Tools/SMT/lib/scripts/remote_smt"
+ISABELLE_SMT_REMOTE_URL="http://smt.in.tum.de/smt"
+