--- a/lib/Tools/makeall Sat Dec 06 04:32:28 2003 +0100
+++ b/lib/Tools/makeall Sat Dec 06 04:33:18 2003 +0100
@@ -8,7 +8,7 @@
## global settings
-ALL_LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
+ALL_LOGICS="Pure CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
## diagnostics