Diffusion afp-devel 86b3c063b0e2

proper inst table;
86b3c063b0e2
Actions

Tags

None

Subscribers

None

Description

proper inst table;

Details

Provenance

Authored on

Parents

rAFP9ebd144ec3db: clarified antiquotations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP86b3c063b0e2: proper inst table;.Oct 1 2021, 10:13 PM

Changes (2)

Path

Size

thys/

Conditional_Transfer_Rule/

CTR_Tools/

UD/

rAFP86b3c063b0e2

thys/Conditional_Transfer_Rule/CTR_Tools/More_Thm.ML

Loading...

thys/Conditional_Transfer_Rule/UD/UD.ML

Loading...