Diffusion afp-devel 8248dddd8b5d

removed spurious locale argument
8248dddd8b5d
Actions

Tags

None

Subscribers

None

Description

removed spurious locale argument

Details

Provenance

Authored on

Parents

rAFP80a3e62140de: generalized saturation framework theory a little, by using spurious 'Q' as a…

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP8248dddd8b5d: removed spurious locale argument.Apr 28 2020, 5:35 PM

Changes (2)

Path

Size

thys/

Saturation_Framework/

Labeled_Lifting_to_Non_Ground_Calculi.thy

Prover_Architectures.thy

rAFP8248dddd8b5d

thys/Saturation_Framework/Labeled_Lifting_to_Non_Ground_Calculi.thy

Loading...

thys/Saturation_Framework/Prover_Architectures.thy

Loading...