Diffusion afp-devel 86066860b37d

enforce strict nesting of local theories
86066860b37d
Actions

Tags

None

Subscribers

None

Description

enforce strict nesting of local theories

Details

Provenance

florian.haftmann

Authored on

Parents

rAFP358b66dce878: guide continued

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFP86066860b37d: enforce strict nesting of local theories.Oct 22 2020, 1:37 PM

Empty Commit

This commit is empty and does not affect any paths.