HomeIsabelle/Phabricator
Diffusion afp-devel ce9f129e8a6a

selective Analysis imports
ce9f129e8a6a
Actions

Description

selective Analysis imports

Details

Provenance
nipkowAuthored on
Parents
rAFP34c60acbf2ac: minimized imports
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (2)

PathSize
thys/
Echelon_Form/
Ergodic_Theory/

rAFPce9f129e8a6a

View Options

thys/Echelon_Form/Code_Cayley_Hamilton.thy

Loading...
View Options

thys/Ergodic_Theory/Fekete.thy

Loading...