]> matita.cs.unibo.it Git - helm.git/commit
fixed support file for TPTP
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 13 Apr 2010 19:51:39 +0000 (19:51 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 13 Apr 2010 19:51:39 +0000 (19:51 +0000)
commit130d99d356c82501fecb5f3aa1eb708b4d4c8b24
tree4bd5f9cfcb0069b9f2024b893d3602b82c0b14cb
parentce0e8e7fc59e6a1f7ed6038370bdc1de096cdc01
fixed support file for TPTP

From: tassi <tassi@c2b2084f-9a08-0410-b176-e24b037a169a>
helm/software/matita/nlibrary/TPTP.ma
helm/software/matita/nlibrary/depends
helm/software/matita/nlibrary/depends.dot
helm/software/matita/nlibrary/depends.png