HomeIsabelle/Phabricator
Diffusion afp-devel 206c4f90ab7c

Tuned.
206c4f90ab7c
Actions

Description

Tuned.

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFP8100a56c7055: merged
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP206c4f90ab7c: Tuned..Jul 25 2022, 11:43 AM

Changes (1)

PathSize
thys/
FOL_Axiomatic/

rAFP206c4f90ab7c

View Options

thys/FOL_Axiomatic/FOL_Axiomatic.thy

Loading...