projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Fri, 16 Sep 2005 11:56:54 +0000 (11:56 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Fri, 16 Sep 2005 11:56:54 +0000 (11:56 +0000) | ||
| commit | 80b8635f33060e4a925a96bf6dc60e0386c01903 | |
| tree | d9571ec4864989871ea179224d9190f493a6a9c3 | tree | snapshot |
| parent | 1bcae23ef41ad2110426eebd97671d27d09213a3 | commit | diff |
| helm/matita/library/Z/orders.ma | diff | blob | history | |
| helm/matita/library/nat/orders.ma | diff | blob | history |