src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Fri Sep 23 22:21:49 2005 +0200
+++ b/src/HOL/IsaMakefile	Fri Sep 23 22:21:50 2005 +0200
@@ -14,10 +14,10 @@
   HOL-Auth \
   HOL-AxClasses \
   HOL-Bali \
-  HOL-Complex-ex \
+  HOL-Complex-HahnBanach \
   HOL-Complex-Import \
+  HOL-Complex-ex \
   HOL-Extraction \
-      HOL-Complex-HahnBanach \
   HOL-Hoare \
   HOL-HoareParallel \
   HOL-IMP \