Diffusion afp-devel 319b6740c703

Rename H to S in maximal_exactly_one.
319b6740c703
Actions

Tags

None

Subscribers

None

Description

Rename H to S in maximal_exactly_one.

Details

Provenance

Asta Halkjær From <andro.from@gmail.com>

Authored on

Parents

rAFP730947b9244d: Get rid of the sat abbreviation.

Branches

Unknown

Tags

Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP319b6740c703: Rename H to S in maximal_exactly_one..Dec 1 2021, 7:05 PM

Changes (1)

Path

Size

thys/

FOL_Axiomatic/

FOL_Axiomatic.thy

rAFP319b6740c703

thys/FOL_Axiomatic/FOL_Axiomatic.thy

Loading...