]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 4 Feb 2008 08:39:17 +0000 (08:39 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 4 Feb 2008 08:39:17 +0000 (08:39 +0000) | ||
commit | 789339cc1451af401ae8c2f8adad137568d8aa1d | |
tree | 9968b582019a6fa90824b37be353d0f63d5bfed9 | tree | snapshot |
parent | f53aa33008246b55b377562dacbd3317208c9e52 | commit | diff |
helm/software/matita/library/nat/factorial2.ma | diff | blob | history |