HomeIsabelle/Phabricator
Diffusion afp-devel 730947b9244d

Get rid of the sat abbreviation.
730947b9244d
Actions

Description

Get rid of the sat abbreviation.

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFPcbebc4dcbdaa: Add missing spaces in semantics_tm.
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP730947b9244d: Get rid of the sat abbreviation..Dec 1 2021, 5:20 PM

Changes (1)

PathSize
thys/
FOL_Axiomatic/

rAFP730947b9244d

View Options

thys/FOL_Axiomatic/FOL_Axiomatic.thy

Loading...