]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7119d28) | patch
spotted missing times notation
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Sep 2005 07:29:39 +0000 (07:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Sep 2005 07:29:39 +0000 (07:29 +0000)
commit2263402001ffa3f40e250b736790d93f962685a6
tree9b710e6732571c859b56a9005121b61e1ffdf3a7tree | snapshot
parent7119d284f9e82c964998608e519c8955ba58f100commit | diff
spotted missing times notation
helm/matita/library/nat/times.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.