From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 28 Dec 2018 15:25:21 +0000 (+0100)
Subject: reverse_complexity lib restored
X-Git-Tag: make_still_working~229^2~4
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=9c0398174ebfa6b483dbdd5c10e8b15e39067329;hp=9c0398174ebfa6b483dbdd5c10e8b15e39067329;p=helm.git

reverse_complexity lib restored

the toolkit.ma file contains errors. I have
commented out a few places
---