Diffusion Isabelle ff6394cfc05c

canonical approach towards lifting
ff6394cfc05c
Actions

Tags

None

Subscribers

None

Description

canonical approach towards lifting

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEd45495e897f4: more instances

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEff6394cfc05c: canonical approach towards lifting.Feb 13 2020, 7:43 AM

Changes (2)

Path

Size

src/

HOL/

ex/

rISABELLEff6394cfc05c

src/HOL/ex/Bit_Lists.thy

Loading...

src/HOL/ex/Word.thy

Loading...