HomeIsabelle/Phabricator
Diffusion afp-devel bd0387cbded7

Simpler Hintikka definition.
bd0387cbded7
Actions

Description

Simpler Hintikka definition.

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFP7ed432999588: Add syntactic abbreviation for constants.
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFPbd0387cbded7: Simpler Hintikka definition..Dec 1 2021, 5:11 PM

Changes (1)

PathSize
thys/
FOL_Axiomatic/

rAFPbd0387cbded7

View Options

thys/FOL_Axiomatic/FOL_Axiomatic.thy

Loading...