--- a/src/HOL/Bali/ROOT.ML Wed Jul 10 14:51:18 2002 +0200
+++ b/src/HOL/Bali/ROOT.ML Wed Jul 10 15:07:02 2002 +0200
@@ -1,3 +1,5 @@
-use_thy "AxExample";
-use_thy "AxSound";
-use_thy "AxCompl";
+
+update_thy "AxExample";
+update_thy "AxSound";
+update_thy "AxCompl";
+update_thy "Trans";