diff --git a/examples/acasxu/property_10.why b/examples/acasxu/property_10.why
index 9850069a7ca5359f2f144933637098a34354689c..0d2d36c6824ca387cbf420f67bcd34bef4ebb58e 100644
--- a/examples/acasxu/property_10.why
+++ b/examples/acasxu/property_10.why
@@ -1,6 +1,5 @@
 theory ACASXU_P10
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
diff --git a/examples/acasxu/property_2.why b/examples/acasxu/property_2.why
index 80f7309e32d26da8387197a988de696a4e1f54aa..92778b15708a69b60f053f20d0a5ef88010ae0c0 100644
--- a/examples/acasxu/property_2.why
+++ b/examples/acasxu/property_2.why
@@ -1,6 +1,5 @@
 theory ACASXU_P2
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
diff --git a/examples/acasxu/property_4.why b/examples/acasxu/property_4.why
index 39aca92f3aa47834ab9a665ab7e04ce97423d700..d27816bc9bb08401da98fa3ead0b4170bfc4e4f3 100644
--- a/examples/acasxu/property_4.why
+++ b/examples/acasxu/property_4.why
@@ -1,6 +1,5 @@
 theory ACASXU_P4
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
diff --git a/examples/acasxu/property_5.why b/examples/acasxu/property_5.why
index 167e06d597f5bd03e1065af5a3912084c007e611..76e1944afc1eb8373f062da1e33b0090ecb2e7a9 100644
--- a/examples/acasxu/property_5.why
+++ b/examples/acasxu/property_5.why
@@ -1,6 +1,5 @@
 theory ACASXU_P5
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
diff --git a/examples/acasxu/property_6.why b/examples/acasxu/property_6.why
index 0b63c8ccaf68951ecc16f95d59ee10c741841294..6662ed1c189755dce4108b0f777c226662bdab3b 100644
--- a/examples/acasxu/property_6.why
+++ b/examples/acasxu/property_6.why
@@ -1,6 +1,5 @@
 theory ACASXU_P6
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
diff --git a/examples/acasxu/property_7.why b/examples/acasxu/property_7.why
index 9f76b7b6e44f1b74650de9ebd44d4b141e90909b..15caca564179334375ee74d6d775816f73431522 100644
--- a/examples/acasxu/property_7.why
+++ b/examples/acasxu/property_7.why
@@ -1,6 +1,5 @@
 theory ACASXU_P7
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
diff --git a/examples/acasxu/property_8.why b/examples/acasxu/property_8.why
index 1bd941a74b4c8eb4aa5edf57f6d1540719650455..3ba80be0cdbc23dbcf83f44045bd768335139034 100644
--- a/examples/acasxu/property_8.why
+++ b/examples/acasxu/property_8.why
@@ -1,6 +1,5 @@
 theory ACASXU_P8
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
diff --git a/examples/acasxu/property_9.why b/examples/acasxu/property_9.why
index 630a527d294c0c041fd9b1e4976a4a63aa3a7b06..3770fb3ad5d5b867fd6c7822717831641189d4fa 100644
--- a/examples/acasxu/property_9.why
+++ b/examples/acasxu/property_9.why
@@ -1,6 +1,5 @@
 theory ACASXU_P9
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork