From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Mon, 3 Oct 2011 09:32:48 +0000 (+0000)
Subject: Matitaweb file flag test.
X-Git-Tag: make_still_working~2250
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6bd1e58d8e28105ca40e122e363337137047cdcb;p=helm.git

Matitaweb file flag test.
---

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