]> 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)
commit2b635ef37ea18619199fbadcdab61fc9184995dd
tree5fd9459bba42c78134648ac001c5f6eb545dc916
parent67754d917af96623334ca9b8c1a16632d6c89391
returns the right list of goals
helm/software/components/tactics/paramodulation/equality.ml
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/components/tactics/paramodulation/utils.ml