]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 718502f)
Matitaweb file flag test.
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Mon, 3 Oct 2011 09:32:48 +0000 (09:32 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Mon, 3 Oct 2011 09:32:48 +0000 (09:32 +0000)
weblib/arithmetics/factorial.ma patch | blob | history

diff --git a/weblib/arithmetics/factorial.ma b/weblib/arithmetics/factorial.ma
index 16a2f52c0363ab07de2ada5d7cd241062c63eab3..eb5208017711ebd5f1f8078ee59a1518f0e90cb2 100644 (file)
--- a/weblib/arithmetics/factorial.ma
+++ b/weblib/arithmetics/factorial.ma
@@ -195,3 +195,4 @@ intros.elim H
   ]
 qed. *)
 
+
Unnamed repository; edit this file 'description' to name the repository.