]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 50f0f05) | patch
goal ==> focus
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 24 Apr 2007 15:06:19 +0000 (15:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 24 Apr 2007 15:06:19 +0000 (15:06 +0000)
commit8908aefdb1ef54d18b2b6ecee2ae30cbbf93f952
tree20c813c8180a457c596d0e9d69b00486a1235d6btree | snapshot
parent50f0f051f84303b40f623ecd67cd0106c13c200acommit | diff
goal ==> focus
matita/library_auto/auto/nat/div_and_mod.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.