Diffusion afp-devel 068616f9fbde

Rename H to S in maximal_exactly_one.
068616f9fbde
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

rAFPad7234dfa6b4: Get rid of the sat abbreviation.

Branches

Unknown

Tags

Unknown

Event Timeline

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

Changes (1)

Path

Size

thys/

FOL_Axiomatic/

FOL_Axiomatic.thy

rAFP068616f9fbde

thys/FOL_Axiomatic/FOL_Axiomatic.thy

Loading...