]> matita.cs.unibo.it Git - helm.git/commit
fixed LetIn proofs
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 23 May 2006 11:56:39 +0000 (11:56 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 23 May 2006 11:56:39 +0000 (11:56 +0000)
commit8c89e28033f817fce728ea7def1c2c13ae040d31
tree3909cf3d1e3cfcc84040be0911672fa927ed9c68
parent566c51bf68e4b5ab316aba8b002180853c460eb9
fixed LetIn proofs
components/tactics/paramodulation/equality.ml
components/tactics/paramodulation/inference.ml
components/tactics/paramodulation/saturation.ml