src/HOL/Bali/ROOT.ML

--- a/src/HOL/Bali/ROOT.ML	Mon Jan 28 18:51:48 2002 +0100
+++ b/src/HOL/Bali/ROOT.ML	Mon Jan 28 23:35:20 2002 +0100
@@ -1,13 +1,4 @@
 
-use_thy "WellForm";
-
-(*The dynamic part of Bali, including type-safety*)
-use_thy "Evaln";
-use_thy "Example"; 
-use_thy "TypeSafe";
-(*###use_thy "Trans";*)
-
-(*The Hoare logic for Bali*)
 use_thy "AxExample";
 use_thy "AxSound";
 use_thy "AxCompl";