]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c84225) | patch
added generation of hne and heq problems
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 17 Apr 2007 08:21:57 +0000 (08:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 17 Apr 2007 08:21:57 +0000 (08:21 +0000)
commitc651530ffbff86d63868f452ec4fdc59488fc4ee
tree63abfa2a605efc119033dd1187dc89680f9ce28atree | snapshot
parent7c84225a8e472e754f1baf8f8b37f8627c8da6facommit | diff
added generation of hne and heq problems
components/tptp_grafite/Makefile diff | blob | history
components/tptp_grafite/heq_problems [new file with mode: 0644] blob
components/tptp_grafite/hne_problems [new file with mode: 0644] blob
components/tptp_grafite/parser.mly diff | blob | history
components/tptp_grafite/tptp2grafite.ml diff | blob | history
components/tptp_grafite/tptp2grafite.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.