Diffusion Isabelle 432b3605933d

add documentation for pred_mono
432b3605933d
Actions

Tags

None

Subscribers

None

Description

add documentation for pred_mono

Details

Provenance

Authored on

Parents

rISABELLEd4a812e4f041: merged

Branches

Unknown

Tags

Unknown

Event Timeline

traytel committed rISABELLE432b3605933d: add documentation for pred_mono.Nov 3 2021, 11:02 AM

Changes (1)

Path

Size

src/

Doc/

Datatypes/

rISABELLE432b3605933d

src/Doc/Datatypes/Datatypes.thy

Loading...