2 files changed, 0 insertions, 34 deletions
diff --git a/test-suite/output/Search.out b/test-suite/output/Search.out
index fd484cdc5..5d8f98edc 100644
--- a/test-suite/output/Search.out
+++ b/test-suite/output/Search.out
@@ -5,26 +5,9 @@ le_S_n: forall n m : nat, S n <= S m -> n <= m
 false: bool
 true: bool
 xorb: bool -> bool -> bool
-sumor_beq:
-  forall (A : Type) (B : Prop),
-  (A -> A -> bool) -> (B -> B -> bool) -> A + {B} -> A + {B} -> bool
-sumbool_beq:
-  forall A B : Prop,
-  (A -> A -> bool) -> (B -> B -> bool) -> {A} + {B} -> {A} + {B} -> bool
-sum_beq:
-  forall A B : Type,
-  (A -> A -> bool) -> (B -> B -> bool) -> A + B -> A + B -> bool
-prod_beq:
-  forall A B : Type,
-  (A -> A -> bool) -> (B -> B -> bool) -> A * B -> A * B -> bool
 orb: bool -> bool -> bool
-option_beq: forall A : Type, (A -> A -> bool) -> option A -> option A -> bool
 negb: bool -> bool
-nat_beq: nat -> nat -> bool
-list_beq: forall A : Type, (A -> A -> bool) -> list A -> list A -> bool
 implb: bool -> bool -> bool
-comparison_beq: comparison -> comparison -> bool
-bool_beq: bool -> bool -> bool
 andb: bool -> bool -> bool
 pred_Sn: forall n : nat, n = pred (S n)
 plus_n_Sm: forall n m : nat, S (n + m) = n + S m
diff --git a/test-suite/output/SearchPattern.out b/test-suite/output/SearchPattern.out
index 410f13dd8..9106a4e36 100644
--- a/test-suite/output/SearchPattern.out
+++ b/test-suite/output/SearchPattern.out
@@ -1,26 +1,9 @@
 false: bool
 true: bool
 xorb: bool -> bool -> bool
-sumor_beq:
-  forall (A : Type) (B : Prop),
-  (A -> A -> bool) -> (B -> B -> bool) -> A + {B} -> A + {B} -> bool
-sumbool_beq:
-  forall A B : Prop,
-  (A -> A -> bool) -> (B -> B -> bool) -> {A} + {B} -> {A} + {B} -> bool
-sum_beq:
-  forall A B : Type,
-  (A -> A -> bool) -> (B -> B -> bool) -> A + B -> A + B -> bool
-prod_beq:
-  forall A B : Type,
-  (A -> A -> bool) -> (B -> B -> bool) -> A * B -> A * B -> bool
 orb: bool -> bool -> bool
-option_beq: forall A : Type, (A -> A -> bool) -> option A -> option A -> bool
 negb: bool -> bool
-nat_beq: nat -> nat -> bool
-list_beq: forall A : Type, (A -> A -> bool) -> list A -> list A -> bool
 implb: bool -> bool -> bool
-comparison_beq: comparison -> comparison -> bool
-bool_beq: bool -> bool -> bool
 andb: bool -> bool -> bool
 S: nat -> nat
 O: nat