From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 13 Apr 2014 15:03:16 +0000 (+0000)
Subject: we restored the strong normalization of extended computation for local
X-Git-Tag: make_still_working~937
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c69a33bba2ae2f37953737940fb45149136cf054;hp=c69a33bba2ae2f37953737940fb45149136cf054;p=helm.git

we restored the strong normalization of extended computation for local
environments with some important updates from the "lazy version"
---