]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d90da82) | patch
Added the computation of max_weight for equations in proofs.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 14 Jul 2006 15:41:26 +0000 (15:41 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 14 Jul 2006 15:41:26 +0000 (15:41 +0000)
commit5457fddfff1794566caed4a4d46f5389ac7cb8dc
tree9295f824bf0c4404d962e47ebc4d65795bf1a2detree | snapshot
parentd90da8261e0df9512612241d2a918b10bc214082commit | diff
Added the computation of max_weight for equations in proofs.
components/tactics/.depend diff | blob | history
components/tactics/paramodulation/equality.ml diff | blob | history
components/tactics/paramodulation/equality.mli diff | blob | history
components/tactics/paramodulation/inference.ml diff | blob | history
components/tactics/paramodulation/saturation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.