X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Farithmetics%2Ffactorial.ma;h=eb5208017711ebd5f1f8078ee59a1518f0e90cb2;hb=1aca50505c3ce6c76dd7d20d00e358707caffd4a;hp=bb74ed7bce8af7356831cabef06b86a4b80bb6be;hpb=9a933efb5e01cf307245c35445ac26be556cfe36;p=helm.git

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