Diffusion afp-devel 06ca7a66d8ae

eliminated needless locale
06ca7a66d8ae
Actions

Tags

None

Subscribers

None

Description

eliminated needless locale

Details

Provenance

Authored on

Parents

rAFP14cbc379a00b: more renamings in Saturation Framework

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP06ca7a66d8ae: eliminated needless locale.Jun 16 2020, 2:54 PM

Changes (3)

Path

Size

thys/

Saturation_Framework/

Given_Clause_Architectures.thy

Intersection_Calculus.thy

Lifting_to_Non_Ground_Calculi.thy

rAFP06ca7a66d8ae

thys/Saturation_Framework/Given_Clause_Architectures.thy

Loading...

thys/Saturation_Framework/Intersection_Calculus.thy

Loading...

thys/Saturation_Framework/Lifting_to_Non_Ground_Calculi.thy

Loading...