]> 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)
commitc90dd454864f9383d7b05cd060e656fbe69b52bd
treeaf34f11ec1c99c0ae8fef25ba7d820a89e5e8ebd
parent857223e09f40bb10a0935bfe0278f29e1dc4a13c
fixed LetIn proofs
helm/software/components/tactics/paramodulation/equality.ml
helm/software/components/tactics/paramodulation/inference.ml
helm/software/components/tactics/paramodulation/saturation.ml