]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 320c0f8) | patch
Commented a few lemmas (copies).
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 23 Mar 2010 15:51:56 +0000 (15:51 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 23 Mar 2010 15:51:56 +0000 (15:51 +0000)
commitadc7a41ccbed2f36778c662d8a2ce06e192fb555
treeb11088d895d23ef22d2817a14ec0ab14447d5ae8tree | snapshot
parent320c0f89a7e31e996b6eff2b4165eb74e8141ceccommit | diff
Commented a few lemmas (copies).

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