Extended_Finite_State_Machi.../Extended_Finite_State_Machi...
Achim D. Brucker d5c6f8533a
ci/woodpecker/push/build Pipeline was successful Detalles
Changed name to reflect development status.
2022-03-26 08:55:24 +00:00
..
code-targets Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-31 08:42:15 +00:00
document Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-31 08:42:15 +00:00
examples Changed name to reflect development status. 2022-03-26 08:55:24 +00:00
heuristics Import of AFP for Isabelle 2021. 2021-02-27 16:34:10 +00:00
Code_Generation.thy Import of AFP for Isabelle 2021. 2021-02-27 16:34:10 +00:00
EFSM_Dot.thy Initial import from AFP. 2020-12-19 09:35:49 +00:00
Inference.thy Initial import from AFP. 2020-12-19 09:35:49 +00:00
ROOT Initial commit. 2020-12-19 10:03:17 +00:00
SelectionStrategies.thy Initial import from AFP. 2020-12-19 09:35:49 +00:00
Subsumption.thy Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-31 08:42:15 +00:00
efsm2sal.thy Initial import from AFP. 2020-12-19 09:35:49 +00:00