Diffusion Isabelle a17c17ab931c

tuned terminology
a17c17ab931c
Actions

Tags

None

Subscribers

None

Description

tuned terminology

Details

Provenance

Authored on

Parents

rISABELLEc88e9369a772: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLEa17c17ab931c: tuned terminology.Nov 19 2020, 10:11 AM

Changes (1)

Path

Size

src/

Doc/

Prog_Prove/

Bool_nat_list.thy

rISABELLEa17c17ab931c

src/Doc/Prog_Prove/Bool_nat_list.thy

Loading...