refactored and added lemma state_behaves_forward_to_backward
fce965a689cd
Actions

Description

refactored and added lemma state_behaves_forward_to_backward

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (8)

Path

Size

rAFPfce965a689cd

thys/VeriComp/Compiler.thy

thys/VeriComp/Inf.thy

thys/VeriComp/Language.thy

thys/VeriComp/Semantics.thy

thys/VeriComp/Simulation.thy

thys/VeriComp/Transfer_Extras.thy

refactored and added lemma state_behaves_forward_to_backwardfce965a689cdActions

Description

Details

Changes (8)

rAFPfce965a689cd

thys/VeriComp/Compiler.thy

thys/VeriComp/Inf.thy

thys/VeriComp/Language.thy

thys/VeriComp/Semantics.thy

thys/VeriComp/Simulation.thy

thys/VeriComp/Transfer_Extras.thy

refactored and added lemma state_behaves_forward_to_backward
fce965a689cd
Actions