Diffusion afp-devel 194bd67c97ea

clarified modules, according to Isabelle/534b231ce041;
194bd67c97ea
Actions

Tags

None

Subscribers

None

Description

clarified modules, according to Isabelle/534b231ce041;

Details

Provenance

Authored on

Parents

rAFPd12a1ce2753f: bundle lattice_syntax / no_lattice_syntax supersedes theory HOL-Library.

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP194bd67c97ea: clarified modules, according to Isabelle/534b231ce041;.Sep 21 2021, 12:14 PM

Changes (3)

Path

Size

thys/

Isabelle_Meta_Model/

toy_example/

embedding/

Generator_dynamic_sequential.thy

UTP/

toolkit/

Total_Recall.ML

Total_Recall.thy

rAFP194bd67c97ea

thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic_sequential.thy

Loading...

thys/UTP/toolkit/Total_Recall.ML

Loading...

thys/UTP/toolkit/Total_Recall.thy

Loading...