From: acondolu <andrea.condoluci@unibo.it>
Date: Wed, 30 May 2018 12:48:49 +0000 (+0200)
Subject: Simple algorithm by Andrea
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=6c0471d4d46eba3d99476f08c35292500a9fb43f;hp=6c0471d4d46eba3d99476f08c35292500a9fb43f;p=fireball-separation.git

Simple algorithm by Andrea

Cherry-picked from f260
---