-
Heiko Becker authored
Rework Coq proofs, to get rid of specifying precondition validity for execution by adding this as a property of the semantics
476f146c
Rework Coq proofs, to get rid of specifying precondition validity for execution by adding this as a property of the semantics