HomeIsabelle/Phabricator
Diffusion afp-devel e687427e5463

New theory.
e687427e5463
Actions

Description

New theory.

Details

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

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFPe687427e5463: New theory..Tue, Apr 9, 7:25 PM

Changes (4)

PathSize

rAFPe687427e5463

View Options

thys/Implicational_Logic/Implicational_Logic_Sequent_Calculus.thy

Loading...
View Options

thys/Implicational_Logic/ROOT

Loading...