]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e198ec) | patch
some theorem names changed.
authorCristian Armentano <??>
Tue, 11 Sep 2007 14:25:35 +0000 (14:25 +0000)
committerCristian Armentano <??>
Tue, 11 Sep 2007 14:25:35 +0000 (14:25 +0000)
commit941dbcc41a8f6f77336b2e999372dccef7dd00fc
treed9497b69254909fd2326ff812f13044247bdab2atree | snapshot
parent3e198ec27dc8f3a29cb2a64c7e0354006aa86352commit | diff
some theorem names changed.
matita/library/nat/gcd_properties1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.