]>
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 |