--- a/lib/Tools/makeall Tue Apr 26 19:49:58 2005 +0200
+++ b/lib/Tools/makeall Tue Apr 26 19:50:14 2005 +0200
@@ -7,7 +7,7 @@
## global settings
-ALL_LOGICS="Pure CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
+ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents"
## diagnostics