]> matita.cs.unibo.it Git - helm.git/commit
update in delayed_updating
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 3 May 2022 20:45:16 +0000 (22:45 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 3 May 2022 20:45:16 +0000 (22:45 +0200)
commit2c68dcfee2c3fe819c8f92a9609620a85909ce8a
tree11febd3500a462d7ce27fa954f392067ee3c3d2f
parenteba13527cf74de399b7e5b958901962666d4cd25
parent3c78efa39d4783f83638b1aabe8d776d83aabf35
update in delayed_updating

+ conflicts solved
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift.etc
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_after.etc
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_constructors.etc
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_eq.etc
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_id.etc
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_prototerm.etc
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_prototerm_eq.etc
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_prototerm_id.etc
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_uni.etc