projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 8 Jun 2008 18:20:20 +0000 (18:20 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 8 Jun 2008 18:20:20 +0000 (18:20 +0000) | ||
| commit | b58b7f9f3fdf8d66522b31828faa5bfa588c31b8 | |
| tree | cc5d298ea4d4ccf5ea1944fb600256b6e866e46f | tree | snapshot |
| parent | dc0aa21dae28cd07142cb7bcaf8e6a1bfd99018d | commit | diff |
| helm/software/matita/library/nat/minus.ma | diff | blob | history | |
| helm/software/matita/library/nat/neper.ma | diff | blob | history |