From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sat, 21 May 2022 18:23:22 +0000 (+0200)
Subject: update in delayed_updating
X-Git-Tag: make_still_working~69
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=97ff918432e878ab8314c72fe2b948a253b26e21;hp=97ff918432e878ab8314c72fe2b948a253b26e21;p=helm.git

update in delayed_updating

+ unwind completed with an important result on lift
---