]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2d62f2) | patch
removed a comment/bug report about let..in rendering, now fixed
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 13 Sep 2005 14:11:45 +0000 (14:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 13 Sep 2005 14:11:45 +0000 (14:11 +0000)
commit86eaff4471bdce9f632838d3a0b18d082015c2db
tree85b3f165a907f4c842cf8c1f617be45641861c74tree | snapshot
parentc2d62f24fdcfad145abceafa418593dfcfb4b546commit | diff
removed a comment/bug report about let..in rendering, now fixed
helm/matita/library/nat/primes.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.