Diffusion Isabelle d2654b30f7bd

eliminated warnings
d2654b30f7bd
Actions

Tags

None

Subscribers

None

Description

eliminated warnings

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE49af3d9a818c: replaced mere alias by input abbreviation

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEd2654b30f7bd: eliminated warnings.Jun 18 2020, 11:07 AM

Changes (5)

Path

Size

src/

HOL/

Library/

Cardinality.thy

Word/

Misc_Typedef.thy

rISABELLEd2654b30f7bd

src/HOL/Library/Cardinality.thy

Loading...

src/HOL/Library/Z2.thy

Loading...

src/HOL/Word/Bits_Int.thy

Loading...

src/HOL/Word/Misc_Typedef.thy

Loading...

src/HOL/Word/Word.thy

Loading...