]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2dd8be7) | patch
added tinycals to the proof we frequently use for examples and screenshots
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 26 Jul 2006 09:24:55 +0000 (09:24 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 26 Jul 2006 09:24:55 +0000 (09:24 +0000)
commitca8534777d87dd69765f5127dee5902631b06825
tree08dd3f3ba132f14d8ff5cee4e152d0c336c13f3etree | snapshot
parent2dd8be781f939739e1410dce3706ccc19a990525commit | diff
added tinycals to the proof we frequently use for examples and screenshots
helm/software/matita/library/nat/factorization.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.