]> matita.cs.unibo.it Git - helm.git/commit
reverted previous fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 25 Jul 2007 09:40:14 +0000 (09:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 25 Jul 2007 09:40:14 +0000 (09:40 +0000)
commit373eac375c2950d0090cac177f44dbfb761389d5
tree8a8a13482b46b9fbfd20ea1b66fbadab8fe1bbea
parent731309ad239f4a6d3fbe0fa7eb5d5066a446dcbf
reverted previous fix
helm/software/components/tactics/paramodulation/saturation.ml