From 892cd3ba0d224aea19ef595d2177a7bc6f368330 Mon Sep 17 00:00:00 2001 From: matitaweb Date: Fri, 30 Sep 2011 16:00:58 +0000 Subject: [PATCH] ... --- weblib/arithmetics/factorial.ma | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/weblib/arithmetics/factorial.ma b/weblib/arithmetics/factorial.ma index e911a6fdb..16a2f52c0 100644 --- a/weblib/arithmetics/factorial.ma +++ b/weblib/arithmetics/factorial.ma @@ -193,4 +193,5 @@ intros.elim H ] ] ] -qed. *) \ No newline at end of file +qed. *) + -- 2.39.2