]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Fri, 20 Jan 2006 12:20:50 +0000 (12:20 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Fri, 20 Jan 2006 12:20:50 +0000 (12:20 +0000) | ||
commit | e45ea683103aa0eb333e318a54ece2e61a1e35ca | |
tree | 974c971a681fff00581445e2efb24f506da9e7e4 | tree | snapshot |
parent | 5cd629439dd0398db27e6fcb3e3766a361cc5d51 | commit | diff |
helm/matita/library/nat/nat.ma | diff | blob | history |