Diffusion afp-devel 877fab13602e

follow devel changeset 581083959358
877fab13602e
Actions

Tags

None

Subscribers

None

Description

follow devel changeset 581083959358

Details

Provenance

Authored on

Parents

rAFP1a0be182fdda: Consistent spacing in set comprehension and name fixes.

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP877fab13602e: follow devel changeset 581083959358.Oct 27 2019, 2:55 PM

Changes (2)

Path

Size

thys/

Order_Lattice_Props/

Order_Lattice_Props.thy

Order_Lattice_Props_Loc.thy

rAFP877fab13602e

thys/Order_Lattice_Props/Order_Lattice_Props.thy

Loading...

thys/Order_Lattice_Props/Order_Lattice_Props_Loc.thy

Loading...