From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 2 Oct 2006 11:42:43 +0000 (+0000)
Subject: added missing *)
X-Git-Tag: 0.4.95@7852~962
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=57f19c7a57a0422a5217a8021ea73d805bd5ba1e;p=helm.git

added missing *)
---

diff --git a/matita/tests/bool.ma b/matita/tests/bool.ma
index 285ff9916..2b7f815b9 100644
--- a/matita/tests/bool.ma
+++ b/matita/tests/bool.ma
@@ -629,5 +629,5 @@ theorem bool5:
 intros.auto paramodulation.
 qed.
 
-*)
+*)*)