Diffusion afp-devel 77d6721f525d

tuned -- avoid old-style verbatim text;
77d6721f525d
Actions

Tags

None

Subscribers

None

Description

tuned -- avoid old-style verbatim text;

Details

Provenance

Authored on

Parents

rAFP0d86fcd673f9: isabelle update_cartouches;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP77d6721f525d: tuned -- avoid old-style verbatim text;.Jan 8 2021, 4:45 PM

Changes (5)

Path

Size

thys/

Binding_Syntax_Theory/

Complete_Non_Orders/

HOL-CSP/

QHLProver/

Verified_SAT_Based_AI_Planning/

rAFP77d6721f525d

thys/Binding_Syntax_Theory/ROOT

Loading...

thys/Complete_Non_Orders/ROOT

Loading...

thys/HOL-CSP/ROOT

Loading...

thys/QHLProver/ROOT

Loading...

thys/Verified_SAT_Based_AI_Planning/ROOT

Loading...