HomeIsabelle/Phabricator

adapted proofs of Extended_Finite_State_Machines from AFP 2020

Description

adapted proofs of Extended_Finite_State_Machines from AFP 2020

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP5172f1f451e6: merge from afp 2020
Branches
Unknown
Tags
Unknown