]> matita.cs.unibo.it Git - helm.git/commit
New version of deep_subsumption
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 5 May 2006 14:56:30 +0000 (14:56 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 5 May 2006 14:56:30 +0000 (14:56 +0000)
commit1a65db059b643422fc8eded4f4e03b512071515b
treef8557911981b75c3ecf2810bbd03291f4e2265e3
parentf820f75a0b94bcc6b6d31c9471c8921ce098427d
New version of deep_subsumption
components/tactics/paramodulation/equality.ml
components/tactics/paramodulation/equality.mli
components/tactics/paramodulation/saturation.ml