Diffusion afp-devel 01987db5d362

tuned: more uniform Isabelle style;
01987db5d362
Actions

Tags

None

Subscribers

None

Description

tuned: more uniform Isabelle style;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPf111b9c197e8: tuned imports;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP01987db5d362: tuned: more uniform Isabelle style;.Thu, Mar 28, 6:25 PM

Changes (1)

Path

Size

tools/

afp_build.scala

rAFP01987db5d362

tools/afp_build.scala

Loading...