You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Extended_Finite_State_Machi.../Extended_Finite_State_Machi...
Achim D. Brucker d5c6f8533a
ci/woodpecker/push/build Pipeline was successful Details
Changed name to reflect development status.
1 year ago
..
code-targets Migration to Isabelle 2021-1 (based on afp-2021-12-28). 1 year ago
document Migration to Isabelle 2021-1 (based on afp-2021-12-28). 1 year ago
examples Changed name to reflect development status. 1 year ago
heuristics Import of AFP for Isabelle 2021. 2 years ago
Code_Generation.thy Import of AFP for Isabelle 2021. 2 years ago
EFSM_Dot.thy Initial import from AFP. 2 years ago
Inference.thy Initial import from AFP. 2 years ago
ROOT Initial commit. 2 years ago
SelectionStrategies.thy Initial import from AFP. 2 years ago
Subsumption.thy Migration to Isabelle 2021-1 (based on afp-2021-12-28). 1 year ago
efsm2sal.thy Initial import from AFP. 2 years ago