From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sat, 13 Oct 2012 21:35:45 +0000 (+0000)
Subject: - parallel reduction for local environments: we proved the equivalence
X-Git-Tag: make_still_working~1496
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7bedf1797ba168f0742194b2add69575e5d4a5cd;hp=7bedf1797ba168f0742194b2add69575e5d4a5cd;p=helm.git

- parallel reduction for local environments: we proved the equivalence
between the old context-sensitive version and the focalized version
- as a result, the context-sensitive version disappears with its derivatives
---