Diffusion afp-devel b39b8408a202

saturation framework: tiebreaker lifting locale improvement
b39b8408a202
Actions

Tags

None

Subscribers

None

Description

saturation framework: tiebreaker lifting locale improvement

Details

Provenance

Sophie Tourret <stourret@mpi-inf.mpg.de>

Authored on

Parents

rAFP5d6a17e03f20: merge

Branches

Unknown

Tags

Unknown

Event Timeline

Sophie Tourret <stourret@mpi-inf.mpg.de> committed rAFPb39b8408a202: saturation framework: tiebreaker lifting locale improvement.Sep 9 2020, 10:13 AM

Changes (2)

Path

Size

thys/

Saturation_Framework/

Labeled_Lifting_to_Non_Ground_Calculi.thy

Lifting_to_Non_Ground_Calculi.thy

rAFPb39b8408a202

thys/Saturation_Framework/Labeled_Lifting_to_Non_Ground_Calculi.thy

Loading...

thys/Saturation_Framework/Lifting_to_Non_Ground_Calculi.thy

Loading...