projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 8 Jun 2008 18:48:45 +0000 (18:48 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 8 Jun 2008 18:48:45 +0000 (18:48 +0000) | ||
| commit | bccbeb1ec0ef3b55625e4434e693db3cce2e69be | |
| tree | ff0b443e81abb3e5bb92a5b8f684f7383846bd26 | tree | snapshot |
| parent | b58b7f9f3fdf8d66522b31828faa5bfa588c31b8 | commit | diff |
| helm/software/matita/library/nat/orders.ma | diff | blob | history | |
| helm/software/matita/library/nat/pi_p.ma | diff | blob | history | |
| helm/software/matita/library/nat/sieve.ma | diff | blob | history |