Diffusion afp-devel 2c2eaa6a32e2

adapted to Isabelle/ef1a18e20ace;
2c2eaa6a32e2
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/ef1a18e20ace;

Details

Provenance

Authored on

Parents

rAFP5b4eeafc4c58: recover some patches after years of continuously changing Isabelle LaTeX output;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP2c2eaa6a32e2: adapted to Isabelle/ef1a18e20ace;.May 21 2021, 12:44 PM

Changes (7)

Path

Size

thys/

Isabelle_C/

C11-FrontEnd/

C_Appendices.thy

src/

C_Parser_Language.thy

Refine_Imperative_HOL/

Sepref_Combinator_Setup.thy

Sepref_Intf_Util.thy

WorkerWrapper/

FixedPointTheorems.thy

rAFP2c2eaa6a32e2

thys/Isabelle_C/C11-FrontEnd/C_Appendices.thy

Loading...

thys/Isabelle_C/C11-FrontEnd/src/C_Command.thy

Loading...

thys/Isabelle_C/C11-FrontEnd/src/C_Document.thy

Loading...

thys/Isabelle_C/C11-FrontEnd/src/C_Parser_Language.thy

Loading...

thys/Refine_Imperative_HOL/Sepref_Combinator_Setup.thy

Loading...

thys/Refine_Imperative_HOL/Sepref_Intf_Util.thy

Loading...

thys/WorkerWrapper/FixedPointTheorems.thy

Loading...