HomeIsabelle/Phabricator

data extend is obsolete and should be identity;

Authored by makarius.

Description

data extend is obsolete and should be identity;

Details

Committed
makariusMon, Jul 20, 11:34 PM
Parents
rAFP8c7430699dc1: merge from afp-2020
Branches
Unknown
Tags
Unknown