From da3ccf9b26b4b28c968b963d8718dbca4a4f5240 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 21 Mar 2006 09:00:58 +0000
Subject: [PATCH] done

---
 helm/software/matita/tests/bool.ma | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/helm/software/matita/tests/bool.ma b/helm/software/matita/tests/bool.ma
index 1b0952046..a49c21cc8 100644
--- a/helm/software/matita/tests/bool.ma
+++ b/helm/software/matita/tests/bool.ma
@@ -22,6 +22,8 @@ alias id "eq_ind" = "cic:/Coq/Init/Logic/eq_ind.con".
 alias id "eq_ind_r" = "cic:/Coq/Init/Logic/eq_ind_r.con".
 alias id "sym_eq" = "cic:/Coq/Init/Logic/sym_eq.con".
 
+(* 
+
 theorem SKK:
   \forall A:Set.
   \forall app: A \to A \to A.
@@ -643,3 +645,5 @@ theorem bool5:
     (inv (mult x y)) = (add (inv x) (inv y)).
 intros.auto paramodulation.
 qed.
+
+*)
-- 
2.39.2