![[Jenkins]](/jenkins/static/f7776f3e/images/svgs/logo.svg){kind=logo}
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- Fixed problems with Isabelle development version (Isabelle_16-Sep-2020).
| The file was modified | thys/Extended_Finite_State_Machine_Inference/Code_Generation.thy |
| The file was modified | thys/Extended_Finite_State_Machine_Inference/examples/Drinks_Subsumption.thy |
| The file was modified | thys/Extended_Finite_State_Machine_Inference/heuristics/Least_Upper_Bound.thy |