Diffusion Isabelle dfe150a246e6

misc tuning and clarification: prefer functions over data;
dfe150a246e6
Actions

Tags

None

Subscribers

None

Description

misc tuning and clarification: prefer functions over data;

Details

Provenance

Authored on

Parents

rISABELLEf7189b7f5567: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdfe150a246e6: misc tuning and clarification: prefer functions over data;.Sep 20 2020, 7:36 PM

Changes (1)

Path

Size

src/

HOL/

Library/

rISABELLEdfe150a246e6

src/HOL/Library/code_test.ML

Loading...