HomeIsabelle/Phabricator
Diffusion afp-devel 5270bd68a568

updated to devel
5270bd68a568
Actions

Description

updated to devel

Details

Provenance
nipkowAuthored on
Parents
rAFP1b4394a8fc94: merged
Branches
Unknown
Tags
Unknown

Changes (2)

PathSize
thys/
Flyspeck-Tame/
Universal_Turing_Machine/

rAFP5270bd68a568

View Options

thys/Flyspeck-Tame/FaceDivisionProps.thy

Loading...
View Options

thys/Universal_Turing_Machine/UF.thy

Loading...