Diffusion afp-devel bd51aaa8a192

some slight polishing in the UTM entry
bd51aaa8a192
Actions

Tags

None

Subscribers

None

Description

some slight polishing in the UTM entry

Details

Provenance

Christian Urban <christian.urban@kcl.ac.uk>

Authored on

Parents

rAFP4bdd34701622: Eliminated the temporary material that was already migrated to the Isabelle…

Branches

Unknown

Tags

Unknown

Event Timeline

Christian Urban <christian.urban@kcl.ac.uk> committed rAFPbd51aaa8a192: some slight polishing in the UTM entry.Sep 8 2022, 11:01 PM

Changes (3)

Path

Size

metadata/

entries/

Universal_Turing_Machine.toml

thys/

Universal_Turing_Machine/

document/

rAFPbd51aaa8a192

metadata/entries/Universal_Turing_Machine.toml

Loading...

thys/Universal_Turing_Machine/Recursive.thy

Loading...

thys/Universal_Turing_Machine/document/root.tex

Loading...