Diffusion Isabelle 34ecb540a079

generalized and augmented
34ecb540a079
Actions

Tags

None

Subscribers

None

Description

generalized and augmented

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEf640380aaf86: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE34ecb540a079: generalized and augmented.May 20 2020, 9:43 PM

Changes (3)

Path

Size

src/

HOL/

rISABELLE34ecb540a079

src/HOL/Lattices.thy

Loading...

src/HOL/Nat.thy

Loading...

src/HOL/Orderings.thy

Loading...