Extended_Finite_State_Machines/Extended_Finite_State_Machines
Achim D. Brucker 3a7a6daf2c
ci/woodpecker/push/build Pipeline was successful Details
Changed name to reflect development status.
2022-03-26 08:12:43 +00:00
..
document Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-31 07:42:15 +00:00
examples Changed name to reflect development status. 2022-03-26 08:12:43 +00:00
AExp.thy Initial import from AFP. 2020-12-19 08:46:46 +00:00
AExp_Lexorder.thy Initial import from AFP. 2020-12-19 08:46:46 +00:00
EFSM.thy Import of AFP for Isabelle 2021. 2021-02-26 11:42:58 +00:00
EFSM_LTL.thy Changed name to reflect development status. 2022-03-26 08:12:43 +00:00
FSet_Utils.thy Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-31 07:42:15 +00:00
GExp.thy Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-31 07:42:15 +00:00
GExp_Lexorder.thy Initial import from AFP. 2020-12-19 08:46:46 +00:00
README.md Initial import from AFP. 2020-12-19 08:46:46 +00:00
ROOT Renamed session to avoid name clash with offical AFP entry. 2020-12-19 09:33:34 +00:00
Transition.thy Initial import from AFP. 2020-12-19 08:46:46 +00:00
Transition_Lexorder.thy Initial import from AFP. 2020-12-19 08:46:46 +00:00
Trilean.thy Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-31 07:42:15 +00:00
VName.thy Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-31 07:42:15 +00:00
Value.thy Initial import from AFP. 2020-12-19 08:46:46 +00:00
Value_Lexorder.thy Initial import from AFP. 2020-12-19 08:46:46 +00:00

README.md

efsm-isabelle

Implementation of EFSMs in Isabelle/HOL