Diffusion Isabelle eece87547736

misc tuning and modernization;
eece87547736
Actions

Tags

None

Subscribers

None

Description

misc tuning and modernization;

Details

Provenance

Authored on

Parents

rISABELLE83456d9f0ed5: clarified examples;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEeece87547736: misc tuning and modernization;.Jul 13 2020, 9:20 PM

Changes (1)

Path

Size

src/

HOL/

Examples/

rISABELLEeece87547736

src/HOL/Examples/Records.thy

Loading...