Diffusion afp-devel 8f7185ecb827

proper antiquotations;
8f7185ecb827
Actions

Tags

None

Subscribers

None

Description

proper antiquotations;

Details

Provenance

Authored on

Parents

rAFP4e4a7bc724be: tuned messages;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP8f7185ecb827: proper antiquotations;.Oct 16 2021, 3:01 PM

Changes (1)

Path

Size

thys/

Monad_Memo_DP/

util/

Ground_Function.ML

rAFP8f7185ecb827

thys/Monad_Memo_DP/util/Ground_Function.ML

Loading...