src/HOL/Bali/ROOT.ML

--- a/src/HOL/Bali/ROOT.ML	Tue Feb 26 21:57:13 2002 +0100
+++ b/src/HOL/Bali/ROOT.ML	Wed Feb 27 08:52:09 2002 +0100
@@ -1,4 +1,3 @@
-
 use_thy "AxExample";
 use_thy "AxSound";
 use_thy "AxCompl";