Diffusion Isabelle 35a2ac83a262

New Ackermann development
35a2ac83a262
Actions

Tags

None

Subscribers

None

Description

New Ackermann development

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE73ff22f99d38: tuned document;

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE35a2ac83a262: New Ackermann development.Jun 9 2020, 1:13 PM

Changes (5)

Path

Size

rISABELLE35a2ac83a262

src/HOL/Examples/Ackermann.thy

Loading...

src/HOL/ROOT

Loading...