Diffusion afp-devel 4c337328e727

removed abbreviation that only lengthened formalization
4c337328e727
Actions

Tags

None

Subscribers

None

Description

removed abbreviation that only lengthened formalization

Details

Provenance

Authored on

Parents

rAFPff58aa530358: rationalized locales

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP4c337328e727: removed abbreviation that only lengthened formalization.May 11 2020, 10:11 AM

Changes (3)

Path

Size

thys/

Saturation_Framework/

Labeled_Lifting_to_Non_Ground_Calculi.thy

Lifting_to_Non_Ground_Calculi.thy

Prover_Architectures.thy

rAFP4c337328e727

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...