]> matita.cs.unibo.it Git - helm.git/commit
returns the right list of goals
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Oct 2006 15:18:35 +0000 (15:18 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Oct 2006 15:18:35 +0000 (15:18 +0000)
commit59895ae358dff2a57a9fd1ea6924690a0862e036
tree0da3fe3ba455961b434d2daf766ec7c26b825a29
parent74873bc65100f11036fc3a7ec6f13d999de631a8
returns the right list of goals
components/tactics/paramodulation/equality.ml
components/tactics/paramodulation/saturation.ml
components/tactics/paramodulation/utils.ml