--- a/Admin/contributed_components Sun Apr 01 22:55:06 2012 +0200
+++ b/Admin/contributed_components Sun Apr 01 23:09:36 2012 +0200
@@ -1,6 +1,7 @@
#contributed components
contrib/cvc3-2.2
contrib/e-1.4
+contrib/hol-light-bundle-0.5-126
contrib/kodkodi-1.2.16
contrib/spass-3.7
contrib/scala-2.8.1.final
--- a/src/HOL/Import/HOL_Light_Import.thy Sun Apr 01 22:55:06 2012 +0200
+++ b/src/HOL/Import/HOL_Light_Import.thy Sun Apr 01 23:09:36 2012 +0200
@@ -9,7 +9,7 @@
imports HOL_Light_Maps
begin
-import_file "$HOL_LIGHT_DUMP"
+import_file "$HOL_LIGHT_BUNDLE"
end
--- a/src/HOL/Import/ROOT.ML Sun Apr 01 22:55:06 2012 +0200
+++ b/src/HOL/Import/ROOT.ML Sun Apr 01 23:09:36 2012 +0200
@@ -1,5 +1,5 @@
use_thy "HOL_Light_Maps";
-if getenv "HOL_LIGHT_DUMP" <> ""
+if getenv "HOL_LIGHT_BUNDLE" <> ""
then use_thy "HOL_Light_Import"
else ()