Diffusion afp-devel 66a042f96686

clarified quotes vs. apostrophes vs. primes;
66a042f96686
Actions

Tags

None

Subscribers

None

Description

clarified quotes vs. apostrophes vs. primes;

Details

Provenance

Authored on

Parents

rAFP2b6d50818876: more accurate use of LaTeX ndash;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP66a042f96686: clarified quotes vs. apostrophes vs. primes;.Nov 9 2021, 6:23 PM

Changes (12)

Path

Size

thys/

Aristotles_Assertoric_Syllogistic/

AristotlesAssertoric.thy

Attack_Trees/

GDPRhealthcare.thy

Belief_Revision/

CoCon/

Traceback_Properties.thy

CoSMeDis/

Post_Confidentiality/

Post_Observation_Setup_RECEIVER.thy

CoSMed/

Traceback_Properties/

Post_Visibility_Traceback.thy

Complete_Non_Orders/

Fixed_Points.thy

Complex_Geometry/

More_Transcendental.thy

Delta_System_Lemma/

Cardinal_Library.thy

Jacobson_Basic_Algebra/

Group_Theory.thy

rAFP66a042f96686

thys/Aristotles_Assertoric_Syllogistic/AristotlesAssertoric.thy

Loading...

thys/Attack_Trees/GDPRhealthcare.thy

Loading...

thys/Attack_Trees/MC.thy

Loading...

thys/Belief_Revision/AGM_Logic.thy

Loading...

thys/CoCon/Traceback_Properties.thy

Loading...

thys/CoSMeDis/Post_Confidentiality/Post_Observation_Setup_RECEIVER.thy

Loading...

thys/CoSMed/Traceback_Properties/Post_Visibility_Traceback.thy

Loading...

thys/Complete_Non_Orders/Fixed_Points.thy

Loading...

thys/Complex_Geometry/More_Transcendental.thy

Loading...

thys/Delta_System_Lemma/Cardinal_Library.thy

Loading...

thys/Delta_System_Lemma/Cofinality.thy

Loading...

thys/Jacobson_Basic_Algebra/Group_Theory.thy

Loading...