src/HOL/Bali/ROOT.ML

--- a/src/HOL/Bali/ROOT.ML	Mon Jun 06 12:17:59 2005 +0200
+++ b/src/HOL/Bali/ROOT.ML	Mon Jun 06 13:30:05 2005 +0200
@@ -6,7 +6,7 @@
 The Hoare logic for Bali
 *)
 
-update_thy "AxExample";
-update_thy "AxSound";
-update_thy "AxCompl";
-update_thy "Trans";
+use_thy "AxExample";
+use_thy "AxSound";
+use_thy "AxCompl";
+use_thy "Trans";