]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2039f5) | patch
Fixed (yet another) nasty bug, in deep_eq this time
authordenes <??>
Fri, 31 Jul 2009 21:37:53 +0000 (21:37 +0000)
committerdenes <??>
Fri, 31 Jul 2009 21:37:53 +0000 (21:37 +0000)
commitd35aca0e979a9c7edbc60c44040360d52be8ca82
tree15413539c07dafd7d9ff27548a5ba985597a9129tree | snapshot
parentf2039f5c9e68dc69c86c77758bc521acd30e973fcommit | diff
Fixed (yet another) nasty bug, in deep_eq this time
helm/software/components/ng_paramodulation/superposition.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.