From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Fri, 30 Sep 2011 16:00:58 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~2259
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=892cd3ba0d224aea19ef595d2177a7bc6f368330;p=helm.git

...
---

diff --git a/weblib/arithmetics/factorial.ma b/weblib/arithmetics/factorial.ma
index e911a6fdb..16a2f52c0 100644
--- a/weblib/arithmetics/factorial.ma
+++ b/weblib/arithmetics/factorial.ma
@@ -193,4 +193,5 @@ intros.elim H
       ]
     ]
   ]
-qed. *)
\ No newline at end of file
+qed. *)
+