Diffusion afp-devel 601908994b57

Word_Lib: spelling
601908994b57
Actions

Tags

None

Subscribers

None

Description

Word_Lib: spelling

Details

Provenance

Authored on

Parents

rAFP52bcf666e8c7: CSP_RefTK: adjust for Isabelle 1105c42722dc

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP601908994b57: Word_Lib: spelling.Jan 15 2021, 8:08 AM

Changes (5)

Path

Size

	Legacy_Aliases.thy
	Legacy_Aliasses.thy

Legacy_Aliasses.thy

Word_Lib_Sumo.thy

rAFP601908994b57

thys/Word_Lib/Legacy_Aliases.thy

Loading...

thys/Word_Lib/Legacy_Aliasses.thy

Loading...

thys/Word_Lib/Word_Lib_Sumo.thy

Loading...