]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a53910) | patch
splitting files
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 27 Nov 2012 07:25:16 +0000 (07:25 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 27 Nov 2012 07:25:16 +0000 (07:25 +0000)
commit302d83e414e27210fbfbc1de4d213786d9580e23
tree39eee23579bbaceee29677ab6548af9a651560fftree | snapshot
parent8a5391064ec6e84333444453f836ef9cb91fee7bcommit | diff
splitting files
matita/matita/lib/turing/multi_universal/compare.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.