Switch to simultaneous substitutions.
48b40c0c94af
Actions

Description

Switch to simultaneous substitutions.

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (7)

Path

Size

thys/

FOL_Seq_Calc3/

rAFP48b40c0c94af

thys/FOL_Seq_Calc3/Completeness.thy

thys/FOL_Seq_Calc3/Fair_Stream.thy

thys/FOL_Seq_Calc3/Main.hs

thys/FOL_Seq_Calc3/Prover.thy

thys/FOL_Seq_Calc3/Semantics.thy

thys/FOL_Seq_Calc3/Soundness.thy

thys/FOL_Seq_Calc3/Syntax.thy

Switch to simultaneous substitutions.48b40c0c94afActions

Description

Details

Changes (7)

rAFP48b40c0c94af

thys/FOL_Seq_Calc3/Completeness.thy

thys/FOL_Seq_Calc3/Fair_Stream.thy

thys/FOL_Seq_Calc3/Main.hs

thys/FOL_Seq_Calc3/Prover.thy

thys/FOL_Seq_Calc3/Semantics.thy

thys/FOL_Seq_Calc3/Soundness.thy

thys/FOL_Seq_Calc3/Syntax.thy

Switch to simultaneous substitutions.
48b40c0c94af
Actions