]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10e8d3c) | patch
typo in a proof
authorMatthias Puech <puech@cs.mcgill.ca>
Tue, 23 Mar 2010 18:24:49 +0000 (18:24 +0000)
committerMatthias Puech <puech@cs.mcgill.ca>
Tue, 23 Mar 2010 18:24:49 +0000 (18:24 +0000)
commit375a7d0e4c11f3b09d33b9dd24f1da7f7b442885
treed53e59b718054109bf7fbb433a6be92c986ea07ftree | snapshot
parent10e8d3c7da0978dd482e703004ced1138fdea8c0commit | diff
typo in a proof

From: puech <puech@c2b2084f-9a08-0410-b176-e24b037a169a>
helm/software/matita/nlibrary/arithmetics/nat.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.