]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 158c113) | patch
Implemented check for duplicates (in goals)
authordenes <??>
Wed, 24 Jun 2009 12:30:56 +0000 (12:30 +0000)
committerdenes <??>
Wed, 24 Jun 2009 12:30:56 +0000 (12:30 +0000)
commiteca915d2656084f1e58149a476a2d305758b00f9
tree9e5719e361d83cb56e76db6cf6dc7d4be9a423cbtree | snapshot
parent158c113b8713291b4162f4c76d587bc42cdb25b7commit | diff
Implemented check for duplicates (in goals)
helm/software/components/ng_paramodulation/foSubst.ml diff | blob | history
helm/software/components/ng_paramodulation/foSubst.mli diff | blob | history
helm/software/components/ng_paramodulation/foUnif.ml diff | blob | history
helm/software/components/ng_paramodulation/foUnif.mli diff | blob | history
helm/software/components/ng_paramodulation/paramod.ml diff | blob | history
helm/software/components/ng_paramodulation/superposition.ml diff | blob | history
helm/software/components/ng_paramodulation/superposition.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.