From: acondolu <andrea.condoluci@unibo.it>
Date: Tue, 25 Jul 2017 09:21:38 +0000 (+0200)
Subject: Merge branch 'permutations' into andrea
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4c157f176c89dcb5633d60c5be8a444ae0529c29;hp=4c157f176c89dcb5633d60c5be8a444ae0529c29;p=fireball-separation.git

Merge branch 'permutations' into andrea
---