From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 22 Apr 2009 10:30:55 +0000 (+0000)
Subject: demodulate takes an extra argument 'all', if present it attempts to solve
X-Git-Tag: make_still_working~4064
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5c10d402b5de7233bc83d7f685b274832e383212;hp=5c10d402b5de7233bc83d7f685b274832e383212;p=helm.git

demodulate takes an extra argument 'all', if present it attempts to solve
the goal demodulating it in any possible way. an extra steps argument may
be used to increase the default maximum number of demodulation steps (1).
pump may also affect the result.
---