]> matita.cs.unibo.it Git - helm.git/commit
Build_proof_goal does not return the metasenv any more.
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 26 Apr 2006 14:53:03 +0000 (14:53 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 26 Apr 2006 14:53:03 +0000 (14:53 +0000)
commitac9ab5d3ada1d5ea4a4ac00aee7e6bc456f4e98c
tree7ef4e54f4bc7e82715790b976bdd045e6b8fbb25
parentf7a57b8b92611ee8c778adf35efec184b8ea9cf4
Build_proof_goal does not return the metasenv any more.
helm/software/components/tactics/paramodulation/equality.ml
helm/software/components/tactics/paramodulation/equality.mli
helm/software/components/tactics/paramodulation/indexing.ml
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/components/tactics/tactics.mli