Diffusion afp-devel e2b1021fb667

renamed locales as discussed with Sophie Tourret
e2b1021fb667
Actions

Tags

None

Subscribers

None

Description

renamed locales as discussed with Sophie Tourret

Details

Provenance

Authored on

Parents

rAFPc2f07427be69: added file that was part of previous renaming/refactoring

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFPe2b1021fb667: renamed locales as discussed with Sophie Tourret.Jun 16 2020, 2:20 PM

Changes (5)

Path

Size

thys/

Saturation_Framework/

Given_Clause_Architectures.thy

Intersection_Calculus.thy

Labeled_Lifting_to_Non_Ground_Calculi.thy

Lifting_to_Non_Ground_Calculi.thy

rAFPe2b1021fb667

thys/Saturation_Framework/Calculus.thy

Loading...

thys/Saturation_Framework/Given_Clause_Architectures.thy

Loading...

thys/Saturation_Framework/Intersection_Calculus.thy

Loading...

thys/Saturation_Framework/Labeled_Lifting_to_Non_Ground_Calculi.thy

Loading...

thys/Saturation_Framework/Lifting_to_Non_Ground_Calculi.thy

Loading...