From: acondolu <andrea.condoluci@unibo.it>
Date: Thu, 13 Jul 2017 15:38:23 +0000 (+0200)
Subject: Tentative commit: tactics dropped and clean-up
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0991fc5486c3158fc361e84cbba5aefa67893ba4;hp=0991fc5486c3158fc361e84cbba5aefa67893ba4;p=fireball-separation.git

Tentative commit: tactics dropped and clean-up
---