]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 228d207) | 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)
commit9de2bb1a68109ae9e15b78ed4225e4846d2e2b0a
treebb7ba3dfb7eb8462271e9dc6e40656964d4f8325tree | snapshot
parent228d207d77101f153312e1c2cef1b8f2b5ec329fcommit | diff
Added the computation of max_weight for equations in proofs.
helm/software/components/tactics/.depend diff | blob | history
helm/software/components/tactics/paramodulation/equality.ml diff | blob | history
helm/software/components/tactics/paramodulation/equality.mli diff | blob | history
helm/software/components/tactics/paramodulation/inference.ml diff | blob | history
helm/software/components/tactics/paramodulation/saturation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.