1.1 --- a/Admin/makebin	Fri Jan 14 18:23:39 2011 +0100
     1.2 +++ b/Admin/makebin	Fri Jan 14 20:22:27 2011 +0100
     1.3 @@ -100,9 +100,7 @@
     1.4  if [ -n "$DO_LIBRARY" ]; then
     1.5    ./build -bait
     1.6  else
     1.7 -  ./build -b -m HOL-Nominal HOL
     1.8 -  ./build -b -m HOLCF HOL
     1.9 -  ./build -b ZF
    1.10 +  ./build -b HOL
    1.11  fi
    1.12  
    1.13