]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa576f1) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 Jun 2006 11:30:44 +0000 (11:30 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 Jun 2006 11:30:44 +0000 (11:30 +0000)
commit95542e4239a4e73a26f2192a84070f8ad10a1bfe
tree20929a754e51b34a9cc75f8495ffd385a277746dtree | snapshot
parentaa576f13a6fd64586b389880dec3e47f703cd300commit | diff
...
matita/tests/TPTP/log.300.28-6.fixprove.fixsimpl-infergoal [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.