HomeIsabelle/Phabricator
Diffusion afp-devel 189717e4b998

Update ROOT...
189717e4b998
Actions

Description

Update ROOT...

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFP611e8be50bec: Appendix with another axiom system as a variant of the proof.
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP189717e4b998: Update ROOT....Sep 23 2022, 8:25 PM

Changes (1)

PathSize
thys/
Implicational_Logic/

rAFP189717e4b998

View Options

thys/Implicational_Logic/ROOT

Loading...