HomeIsabelle/Phabricator
Diffusion afp-devel 255dda6d93dc

Improvements.
255dda6d93dc
Actions

Description

Improvements.

Details

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

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP255dda6d93dc: Improvements..Jul 7 2022, 12:57 PM

Changes (1)

PathSize
thys/
FOL_Axiomatic/

rAFP255dda6d93dc

View Options

thys/FOL_Axiomatic/FOL_Axiomatic.thy

Loading...