Diffusion afp-devel 88a82d6fdd30

Corrected name
88a82d6fdd30
Actions

Tags

None

Subscribers

None

Description

Corrected name

Details

Provenance

Authored on

Parents

rAFPc53762f7c3d9: remove the explicit file checking when using a developer version of Isabelle

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFP88a82d6fdd30: Corrected name.Dec 20 2019, 3:27 PM

Changes (16)

Path

Size

metadata/

thys/

Epistemic_Logic/

Epistemic_Logic.thy

document/

FOL-Fitting/

FOL_Fitting.thy

FOL_Harrison/

document/

FOL_Seq_Calc1/

document/

web/

entries/

Epistemic_Logic.html

FOL-Fitting.html

FOL_Harrison.html

FOL_Seq_Calc1.html

statistics.html

rAFP88a82d6fdd30

metadata/metadata

Loading...

thys/Epistemic_Logic/Epistemic_Logic.thy

Loading...

thys/Epistemic_Logic/document/root.tex

Loading...

thys/FOL-Fitting/FOL_Fitting.thy

Loading...

thys/FOL_Harrison/document/root.tex

Loading...

thys/FOL_Seq_Calc1/Common.thy

Loading...

thys/FOL_Seq_Calc1/Sequent.thy

Loading...

thys/FOL_Seq_Calc1/Tableau.thy

Loading...

thys/FOL_Seq_Calc1/document/root.tex

Loading...

web/entries/Epistemic_Logic.html

Loading...

web/entries/FOL-Fitting.html

Loading...

web/entries/FOL_Harrison.html

Loading...

web/entries/FOL_Seq_Calc1.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...