Diffusion Isabelle 852df4f1dbfa

unhide canonical function def examples
852df4f1dbfa
Actions

Tags

None

Subscribers

None

Description

unhide canonical function def examples

Details

Provenance

Authored on

Parents

rISABELLEec947c18e060: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE852df4f1dbfa: unhide canonical function def examples.Aug 25 2021, 9:46 PM

Changes (6)

Path

Size

	Examples/
	ex/

rISABELLE852df4f1dbfa

src/HOL/Examples/Functions.thy

Loading...

src/HOL/ex/Functions.thy

Loading...