X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Farithmetics%2Ffactorial.ma;h=eb5208017711ebd5f1f8078ee59a1518f0e90cb2;hb=c038f0446312091a30179fd80e6ffd3ec39ab446;hp=16a2f52c0363ab07de2ada5d7cd241062c63eab3;hpb=892cd3ba0d224aea19ef595d2177a7bc6f368330;p=helm.git

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. *)
 
+