diff -r 6f49fe89bfe1 -r 4d176363e39a Admin/makedist
--- a/Admin/makedist	Mon Nov 01 23:29:27 1999 +0100
+++ b/Admin/makedist	Tue Nov 02 17:28:24 1999 +0100
@@ -7,7 +7,7 @@
 
 ## global settings
 
-LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL Tools ZF"
+LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
 
 CVSROOT=/usr/proj/isabelle-repository/archive
 DISTBASE=~/tmp/isadist