]> matita.cs.unibo.it Git - helm.git/commit
cleanup of saturate
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 26 Apr 2006 09:59:07 +0000 (09:59 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 26 Apr 2006 09:59:07 +0000 (09:59 +0000)
commit4ec3098de895238c62f3ec49942ce055bc128360
treea88d0b4ffe76c6a03f6a5ad3ee67f82973122cd5
parenta060ed37101ce0e97bc26af8d49ce2491471c60c
cleanup of saturate
helm/software/components/tactics/paramodulation/saturation.ml