HomeIsabelle/Phabricator

saturation framework: completes standard_lifting restructuration

Description

saturation framework: completes standard_lifting restructuration

Details

Provenance
Sophie Tourret <stourret@mpi-inf.mpg.de>Authored on
Parents
rAFP21bc345f5a27: generalized signed_take_bit
Branches
Unknown
Tags
Unknown