Diffusion afp-devel 9a9bc053eb71

dedicated symbols for code generation, to pave way for generic conversions from…
9a9bc053eb71
Actions

Tags

None

Subscribers

None

Description

dedicated symbols for code generation, to pave way for generic conversions from and to word

Details

Provenance

florian.haftmann

Authored on

Parents

rAFP7950cea20592: merged

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFP9a9bc053eb71: dedicated symbols for code generation, to pave way for generic conversions from….Aug 10 2020, 5:34 PM

Changes (3)

Path

Size

thys/

Containers/

ITP-2013/

Benchmark_Set.thy

Word_Lib/

Word_Lemmas.thy

rAFP9a9bc053eb71

thys/Containers/ITP-2013/Benchmark_Set.thy

Loading...

thys/Word_Lib/Word_Lemmas.thy

Loading...

thys/Word_Lib/Word_Lib.thy

Loading...