HomeIsabelle/Phabricator
Diffusion afp-devel c60abfef602f

polished theory
c60abfef602f
Actions

Description

polished theory

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFPf5b7116751a9: documented recent changes
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPc60abfef602f: polished theory.Fri, Apr 12, 2:35 PM

Changes (1)

PathSize
thys/
Show/

rAFPc60abfef602f

View Options

thys/Show/Number_Parser.thy

Loading...