Diffusion afp-devel 3d6049bb252d

simplify big unions in Saturation_Framework
3d6049bb252d
Actions

Tags

None

Subscribers

None

Description

simplify big unions in Saturation_Framework

Details

Provenance

Authored on

Parents

rAFP105389413700: further generalized framework

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP3d6049bb252d: simplify big unions in Saturation_Framework.May 1 2020, 4:39 PM

Changes (4)

Path

Size

thys/

Saturation_Framework/

Labeled_Lifting_to_Non_Ground_Calculi.thy

Lifting_to_Non_Ground_Calculi.thy

Prover_Architectures.thy

rAFP3d6049bb252d

thys/Saturation_Framework/Calculi.thy

Loading...

thys/Saturation_Framework/Labeled_Lifting_to_Non_Ground_Calculi.thy

Loading...

thys/Saturation_Framework/Lifting_to_Non_Ground_Calculi.thy

Loading...

thys/Saturation_Framework/Prover_Architectures.thy

Loading...