From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Fri, 30 Sep 2011 16:28:42 +0000 (+0000)
Subject: Matitaweb: test commit.
X-Git-Tag: make_still_working~2254
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f083a73b0409cf25c7cc5c670c9799b7ac3554b5;p=helm.git

Matitaweb: test commit.
---

diff --git a/weblib/arithmetics/factorial.ma b/weblib/arithmetics/factorial.ma
index bb74ed7bc..16a2f52c0 100644
--- a/weblib/arithmetics/factorial.ma
+++ b/weblib/arithmetics/factorial.ma
@@ -194,3 +194,4 @@ intros.elim H
     ]
   ]
 qed. *)
+