]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51f49e5) | patch
initial import of standalone matitaprover binary
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 25 Jun 2009 13:08:35 +0000 (13:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 25 Jun 2009 13:08:35 +0000 (13:08 +0000)
commit1c9b8f3ba2c86446d44160ae494bc85624bc5eaf
treee19670f976b23198ff944e4595abab964b1d09aftree | snapshot
parent51f49e56206b6b2388a8b30dc35e1011491966eecommit | diff
initial import of standalone matitaprover binary
48 files changed:
helm/software/components/binaries/matitaprover/_tags [new file with mode: 0644] blob
helm/software/components/binaries/matitaprover/ast.ml [new symlink] blob
helm/software/components/binaries/matitaprover/discrimination_tree.ml [new symlink] blob
helm/software/components/binaries/matitaprover/discrimination_tree.mli [new symlink] blob
helm/software/components/binaries/matitaprover/foSubst.ml [new symlink] blob
helm/software/components/binaries/matitaprover/foSubst.mli [new symlink] blob
helm/software/components/binaries/matitaprover/foUnif.ml [new symlink] blob
helm/software/components/binaries/matitaprover/foUnif.mli [new symlink] blob
helm/software/components/binaries/matitaprover/foUtils.ml [new symlink] blob
helm/software/components/binaries/matitaprover/foUtils.mli [new symlink] blob
helm/software/components/binaries/matitaprover/hExtlib.ml [new symlink] blob
helm/software/components/binaries/matitaprover/hExtlib.mli [new symlink] blob
helm/software/components/binaries/matitaprover/index.ml [new symlink] blob
helm/software/components/binaries/matitaprover/index.mli [new symlink] blob
helm/software/components/binaries/matitaprover/lexer.mll [new symlink] blob
helm/software/components/binaries/matitaprover/matitaprover.ml [new file with mode: 0644] blob
helm/software/components/binaries/matitaprover/orderings.ml [new symlink] blob
helm/software/components/binaries/matitaprover/orderings.mli [new symlink] blob
helm/software/components/binaries/matitaprover/paramod.ml [new symlink] blob
helm/software/components/binaries/matitaprover/paramod.mli [new symlink] blob
helm/software/components/binaries/matitaprover/parser.mly [new symlink] blob
helm/software/components/binaries/matitaprover/pp.ml [new symlink] blob
helm/software/components/binaries/matitaprover/pp.mli [new symlink] blob
helm/software/components/binaries/matitaprover/stdpp.ml [new file with mode: 0644] blob
helm/software/components/binaries/matitaprover/superposition.ml [new symlink] blob
helm/software/components/binaries/matitaprover/superposition.mli [new symlink] blob
helm/software/components/binaries/matitaprover/terms.ml [new symlink] blob
helm/software/components/binaries/matitaprover/terms.mli [new symlink] blob
helm/software/components/binaries/matitaprover/tptp_cnf.ml [new file with mode: 0644] blob
helm/software/components/binaries/matitaprover/tptp_cnf.mli [new file with mode: 0644] blob
helm/software/components/binaries/matitaprover/trie.ml [new symlink] blob
helm/software/components/binaries/matitaprover/trie.mli [new symlink] blob
helm/software/components/cic/.depend diff | blob | history
helm/software/components/cic/.depend.opt diff | blob | history
helm/software/components/cic/Makefile diff | blob | history
helm/software/components/cic/cic_indexable.ml [new file with mode: 0644] blob
helm/software/components/cic/cic_indexable.mli [new file with mode: 0644] blob
helm/software/components/cic/discrimination_tree.ml [deleted file] blob | history
helm/software/components/cic/discrimination_tree.mli [deleted file] blob | history
helm/software/components/extlib/.depend diff | blob | history
helm/software/components/extlib/.depend.opt diff | blob | history
helm/software/components/extlib/Makefile diff | blob | history
helm/software/components/extlib/discrimination_tree.ml [new file with mode: 0644] blob
helm/software/components/extlib/discrimination_tree.mli [new file with mode: 0644] blob
helm/software/components/tactics/paramodulation/equality_indexing.ml diff | blob | history
helm/software/components/tactics/paramodulation/equality_indexing.mli diff | blob | history
helm/software/components/tactics/paramodulation/indexing.mli diff | blob | history
helm/software/components/tactics/universe.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.