Diffusion afp-devel b4e122867094

Fixed problems with Isabelle development version (Isabelle_16-Sep-2020).
b4e122867094
Actions

Tags

None

Subscribers

None

Description

Fixed problems with Isabelle development version (Isabelle_16-Sep-2020).

Details

Provenance

Achim D. Brucker <adbrucker@0x5f.org>

Authored on

Parents

rAFPbb006369484c: adapted proofs of Extended_Finite_State_Machines from AFP 2020

Branches

Unknown

Tags

Unknown

Event Timeline

Achim D. Brucker <adbrucker@0x5f.org> committed rAFPb4e122867094: Fixed problems with Isabelle development version (Isabelle_16-Sep-2020)..Sep 19 2020, 1:11 PM

Changes (3)

Path

Size

thys/

Extended_Finite_State_Machine_Inference/

Code_Generation.thy

examples/

Drinks_Subsumption.thy

heuristics/

Least_Upper_Bound.thy

rAFPb4e122867094

thys/Extended_Finite_State_Machine_Inference/Code_Generation.thy

Loading...

thys/Extended_Finite_State_Machine_Inference/examples/Drinks_Subsumption.thy

Loading...

thys/Extended_Finite_State_Machine_Inference/heuristics/Least_Upper_Bound.thy

Loading...