]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: adfe97c) | patch
gap.ma
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 31 May 2013 09:39:54 +0000 (09:39 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 31 May 2013 09:39:54 +0000 (09:39 +0000)
commit26cb762e7dcd0ffde5a94c402ed9bb0717be14ba
treec1daa188d63fd5c2ad4ba5d734e496ea12e97210tree | snapshot
parentadfe97c3044e996cc691d760578ba6c91ce386bdcommit | diff
gap.ma
matita/matita/lib/reverse_complexity/gap.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.