]> matita.cs.unibo.it Git - helm.git/commit
fixed
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 Sep 2008 07:53:50 +0000 (07:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 Sep 2008 07:53:50 +0000 (07:53 +0000)
commit2399bdfa7a5f2cc0440dfb8b82d770ab2724757a
tree45d33afb2919358d679ae19da941fd64f9aa7a80
parent04dc7b17e463fa9c75ac91e1df88bf37ed009914
fixed
helm/software/matita/tests/TPTP/Veloci/COL083-1.p.ma
helm/software/matita/tests/TPTP/Veloci/COL084-1.p.ma
helm/software/matita/tests/TPTP/Veloci/COL086-1.p.ma