Diffusion afp-devel d61e75e1c9ac

hide_lams ~> opaque_lifting;
d61e75e1c9ac
Actions

Tags

None

Subscribers

None

Description

hide_lams ~> opaque_lifting;

Details

Provenance

Authored on

Parents

rAFPcfa6785b8b7e: clarified antiquotations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPd61e75e1c9ac: hide_lams ~> opaque_lifting;.Oct 1 2021, 10:35 PM

Changes (3)

Path

Size

thys/

Schutz_Spacetime/

TemporalOrderOnPath.thy

Types_To_Sets_Extension/

Examples/

TTS_Foundations/

Foundations/

FNDS_Definite_Description.thy

rAFPd61e75e1c9ac

thys/Schutz_Spacetime/Minkowski.thy

Loading...

thys/Schutz_Spacetime/TemporalOrderOnPath.thy

Loading...

thys/Types_To_Sets_Extension/Examples/TTS_Foundations/Foundations/FNDS_Definite_Description.thy

Loading...