HomeIsabelle/Phabricator
Diffusion afp-devel e583d7f737be

Small changes.
e583d7f737be
Actions

Description

Small changes.

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFP5333b8ad7d60: Undo accidental changes.
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFPe583d7f737be: Small changes..Jul 6 2022, 2:34 PM

Changes (1)

PathSize
thys/
FOL_Axiomatic/

rAFPe583d7f737be

View Options

thys/FOL_Axiomatic/FOL_Axiomatic.thy

Loading...