HomeIsabelle/Phabricator
Diffusion afp-devel 2f6ec228e270

renamed file in Saturation_Framework following discussion with Sophie Tourret
2f6ec228e270
Actions

Description

renamed file in Saturation_Framework following discussion with Sophie Tourret

Details

Provenance
blanchetteAuthored on
Parents
rAFP78141c8a7974: interpretations for boolean operators
Branches
Unknown
Tags
Unknown

Changes (11)

PathSize
Calculus.thy
Consequence_Relations_and_Inference_Systems.thy
Given_Clause_Architectures.thy
Prover_Architectures.thy

rAFP2f6ec228e270

View Options

thys/Saturation_Framework/Calculi.thy

Loading...
View Options

thys/Saturation_Framework/Calculus.thy

Loading...
View Options

thys/Saturation_Framework/Consequence_Relations_and_Inference_Systems.thy

Loading...
View Options

thys/Saturation_Framework/Given_Clause_Architectures.thy

Loading...
View Options

thys/Saturation_Framework/Intersection_Calculus.thy

Loading...
View Options

thys/Saturation_Framework/Labeled_Lifting_to_Non_Ground_Calculi.thy

Loading...
View Options

thys/Saturation_Framework/Lifting_to_Non_Ground_Calculi.thy

Loading...
View Options

thys/Saturation_Framework/Prover_Architectures.thy

Loading...
View Options

thys/Saturation_Framework/ROOT

Loading...