]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c51ce7b) | patch
basic lemmas
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 13 Nov 2012 12:15:09 +0000 (12:15 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 13 Nov 2012 12:15:09 +0000 (12:15 +0000)
commitd183f23928164d2de911298f5f2232be54e49300
tree0e44e786aa0e7f6711e8f88e55b1e23594da5ac2tree | snapshot
parentc51ce7b07207bcfc35513a96d3c1f997be89050ecommit | diff
basic lemmas
matita/matita/lib/basics/vectors.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.