]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 89dda34) | patch
comment out an incomplete proof
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Feb 2006 15:35:08 +0000 (15:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Feb 2006 15:35:08 +0000 (15:35 +0000)
commit62d556ff7763f5d452661e127f6e77b351dfef1c
tree0b3778b33e204278ec9927a11bd8323832d1104ctree | snapshot
parent89dda348b109f2429bb4266aca3934b0af689636commit | diff
comment out an incomplete proof
matita/library/algebra/groups.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.