]> matita.cs.unibo.it Git - helm.git/commit - helm/software/components/tactics/.depend
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fa3bd6) | patch
renamed inference in founif that is more appropriate
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 29 Sep 2006 14:41:27 +0000 (14:41 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 29 Sep 2006 14:41:27 +0000 (14:41 +0000)
commit5ca3189127b10847b4986330482f34157661bbcf
treed7d3ad74d6cf91bd14c8b6571a85de99d434204btree | snapshot
parent7fa3bd6487683920f34871688b357f08f67ebb3dcommit | diff
renamed inference in founif that is more appropriate
helm/software/components/tactics/.depend diff | blob | history
helm/software/components/tactics/Makefile diff | blob | history
helm/software/components/tactics/paramodulation/founif.ml [new file with mode: 0644] blob
helm/software/components/tactics/paramodulation/founif.mli [new file with mode: 0644] blob
helm/software/components/tactics/paramodulation/indexing.ml diff | blob | history
helm/software/components/tactics/paramodulation/inference.ml [deleted file] blob | history
helm/software/components/tactics/paramodulation/inference.mli [deleted file] blob | history
helm/software/components/tactics/paramodulation/saturation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.