Diffusion afp-devel 21bc345f5a27

generalized signed_take_bit
21bc345f5a27
Actions

Tags

None

Subscribers

None

Description

generalized signed_take_bit

Details

Provenance

florian.haftmann

Authored on

Parents

rAFP3c01c6d69e78: more on conversions

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFP21bc345f5a27: generalized signed_take_bit.Sep 5 2020, 6:21 PM

Changes (1)

Path

Size

thys/

JinjaThreads/

Execute/

rAFP21bc345f5a27

thys/JinjaThreads/Execute/Java2Jinja.thy

Loading...