Diffusion afp-devel 23d7d61fa263

proper escape for literal single quotes;
23d7d61fa263
Actions

Tags

None

Subscribers

None

Description

proper escape for literal single quotes;

Details

Provenance

Authored on

Parents

rAFPd4e2b44208ee: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP23d7d61fa263: proper escape for literal single quotes;.Mar 14 2020, 3:41 PM

Changes (23)

Path

Size

thys/

AutoFocus-Stream/

AF_Stream_Exec.thy

Category2/

Category3/

SetCategory.thy

CoreC++/

Differential_Dynamic_Logic/

Hoare_Time/

QuantK_Hoare.thy

SepLogK_Hoare.thy

Hybrid_Logic/

Hybrid_Logic.thy

Iptables_Semantics/

Jacobson_Basic_Algebra/

Group_Theory.thy

Jinja/

BV/

JVM_SemiType.thy

J/

JinjaThreads/

BV/

JVM_SemiType.thy

Compiler/

J/

MM/

LTL/

Psi_Calculi/

Relation_Algebra/

Relation_Algebra.thy

Residuated_Lattices/

Involutive_Residuated.thy

Stone_Relation_Algebras/

Relation_Algebras.thy

rAFP23d7d61fa263

thys/AutoFocus-Stream/AF_Stream_Exec.thy

Loading...

thys/Category2/Functors.thy

Loading...

thys/Category3/SetCategory.thy

Loading...

thys/CoreC++/Progress.thy

Loading...

thys/Differential_Dynamic_Logic/Syntax.thy

Loading...

thys/Hoare_Time/QuantK_Hoare.thy

Loading...

thys/Hoare_Time/SepLogK_Hoare.thy

Loading...

thys/Hybrid_Logic/Hybrid_Logic.thy

Loading...

thys/Iptables_Semantics/Semantics.thy

Loading...

thys/Jacobson_Basic_Algebra/Group_Theory.thy

Loading...

thys/Jinja/BV/JVM_SemiType.thy

Loading...

thys/Jinja/J/Progress.thy

Loading...

thys/JinjaThreads/BV/JVM_SemiType.thy

Loading...

thys/JinjaThreads/Compiler/J1JVMBisim.thy

Loading...

thys/JinjaThreads/J/Annotate.thy

Loading...

thys/JinjaThreads/J/WellType.thy

Loading...

thys/JinjaThreads/MM/JMM_Type.thy

Loading...

thys/JinjaThreads/MM/JMM_Type2.thy

Loading...

thys/LTL/Rewriting.thy

Loading...

thys/Psi_Calculi/Semantics.thy

Loading...

thys/Relation_Algebra/Relation_Algebra.thy

Loading...

thys/Residuated_Lattices/Involutive_Residuated.thy

Loading...

thys/Stone_Relation_Algebras/Relation_Algebras.thy

Loading...