Diffusion Isabelle 838198d17a40

tuned;
838198d17a40
Actions

Tags

None

Subscribers

None

Description

tuned;

Details

Provenance

Authored on

Parents

rISABELLEbc42c074e58f: tuned signature: more position information;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE838198d17a40: tuned;.Tue, May 23, 6:59 PM

Changes (3)

Path

Size

src/

HOL/

Decision_Procs/

Commutative_Ring.thy

Reflective_Field.thy

Eisbach/

rISABELLE838198d17a40

src/HOL/Decision_Procs/Commutative_Ring.thy

Loading...

src/HOL/Decision_Procs/Reflective_Field.thy

Loading...

src/HOL/Eisbach/Tests.thy

Loading...