From: acondolu <andrea.condoluci@unibo.it>
Date: Mon, 24 Jul 2017 14:15:19 +0000 (+0200)
Subject: Logging options to display measure of single terms in string_of_problem
X-Git-Tag: weak-reduction-separation~5
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=cc3341c4762822e934e694fed7b7757166fd34f2;hp=cc3341c4762822e934e694fed7b7757166fd34f2;p=fireball-separation.git

Logging options to display measure of single terms in string_of_problem
---