]> matita.cs.unibo.it Git - helm.git/commit
many checks guarded with if Utils.debug_metas
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 29 Apr 2009 10:47:55 +0000 (10:47 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 29 Apr 2009 10:47:55 +0000 (10:47 +0000)
commitb8934a9598d747662139c74c751b8223bcc19d03
tree128093eaec638cf71a360a7cf7558273560fd387
parent7ce251730873891f2975bc8c46b122e842d203db
many checks guarded with if Utils.debug_metas
helm/software/components/tactics/paramodulation/founif.ml
helm/software/components/tactics/paramodulation/indexing.ml
helm/software/components/tactics/paramodulation/saturation.ml