From: www-data <www-data@lahar.helm.cs.unibo.it>
Date: Tue, 2 Dec 2014 11:20:30 +0000 (+0100)
Subject: Updated to new version.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=39f6e6d4d05ad6819318e8a372147dd3d4ec6af7;hp=39f6e6d4d05ad6819318e8a372147dd3d4ec6af7;p=logicplayer.git

Updated to new version.
---