Diffusion afp-devel b4690943adb9

Updated comment
b4690943adb9
Actions

Tags

None

Subscribers

None

Description

Updated comment

Details

Provenance

Asta Halkjær From <andro.from@gmail.com>

Authored on

Parents

rAFPbfb55826ffc0: New entry Hood_Melville_Queue

Branches

Unknown

Tags

Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFPb4690943adb9: Updated comment.Jan 19 2021, 11:50 AM

Changes (3)

Path

Size

thys/

FOL_Seq_Calc1/

rAFPb4690943adb9

thys/FOL_Seq_Calc1/Common.thy

Loading...

thys/FOL_Seq_Calc1/Sequent.thy

Loading...

thys/FOL_Seq_Calc1/Tableau.thy

Loading...