update in ground_2 static_2 basic_2

[helm.git] / weblib / arithmetics / factorial.ma

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