]> matita.cs.unibo.it Git - helm.git/commit
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
treeb11088d895d23ef22d2817a14ec0ab14447d5ae8
parent320c0f89a7e31e996b6eff2b4165eb74e8141cec
Commented a few lemmas (copies).

From: asperti <asperti@c2b2084f-9a08-0410-b176-e24b037a169a>
helm/software/matita/nlibrary/basics/eq.ma
helm/software/matita/nlibrary/basics/list.ma