Diffusion Isabelle 0c454a5d125d

NEWS, CONTRIBUTORS, and documentation
0c454a5d125d
Actions

Tags

None

Subscribers

None

Description

NEWS, CONTRIBUTORS, and documentation

Details

Provenance

Authored on

Parents

rISABELLE35a92ce0b94e: an extensive example for lift_bnf across quotients

Branches

Unknown

Tags

Unknown

Event Timeline

traytel committed rISABELLE0c454a5d125d: NEWS, CONTRIBUTORS, and documentation.Dec 10 2019, 1:06 AM

Changes (3)

Path

Size

src/

Doc/

Datatypes/

rISABELLE0c454a5d125d

CONTRIBUTORS

Loading...

NEWS

Loading...

src/Doc/Datatypes/Datatypes.thy

Loading...