]> matita.cs.unibo.it Git - helm.git/commit
prerr_endine ==> debug_print everywhere
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 May 2007 14:58:59 +0000 (14:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 May 2007 14:58:59 +0000 (14:58 +0000)
commit982419ddd10ec939f25b7f5cdc02c70091d03165
treee21a60fb750148fc8f7707c8dd7b6d97e92e6a63
parentb0442b0e38b410962bf736585d34f5b8185eb9c2
prerr_endine ==> debug_print everywhere
components/tactics/paramodulation/equality.ml
components/tactics/paramodulation/saturation.ml
components/tactics/paramodulation/utils.ml