X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Farithmetics%2Ffactorial.ma;h=eb5208017711ebd5f1f8078ee59a1518f0e90cb2;hb=0bcf2dc1a27e38cb6cd3d44eb838d652926841e0;hp=e911a6fdb854e557e9eb267f8d0a31c56e36ab28;hpb=572f5e918cd2c81ed3844714d647ad1a30cc7547;p=helm.git

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