]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ab0b3e) | patch
...
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Dec 2010 16:37:30 +0000 (16:37 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Dec 2010 16:37:30 +0000 (16:37 +0000)
commitf40d692b9210d044e430efa5f05b0bd38069fb85
treec8da1c04610ae62882ff43afe335bb34233dce66tree | snapshot
parent6ab0b3e34eee7c4efa628e2994b461347d1bcebfcommit | diff
...
helm/software/matita/nlibrary/datatypes/list.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.