]> matita.cs.unibo.it Git - helm.git/commit
natural number => Coq natural number
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 15 Oct 2007 11:34:37 +0000 (11:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 15 Oct 2007 11:34:37 +0000 (11:34 +0000)
commitf9ac9cf02a2b1641e4ff9845a4bb623570fef38a
treea7ba9502184a0b6498a58cfd2d86e9ecfe49f8c0
parent1de185692570fc8b8599f586dbbb9dcb2ec77592
natural number => Coq natural number
helm/software/matita/tests/change.ma
helm/software/matita/tests/replace.ma
helm/software/matita/tests/rewrite.ma