HomeIsabelle/Phabricator
Diffusion afp-devel 7b65619dbfd2

updates for future formalizations
7b65619dbfd2
Actions

Description

updates for future formalizations

Details

Provenance
JeremyDubut <dubutjeremy@gmail.com>Authored on
Parents
rAFPad29f283d9c5: adapted to 3f354d5bbf98;
Branches
Unknown
Tags
Unknown

Changes (12)

PathSize
document/

rAFP7b65619dbfd2

View Options

thys/Complete_Non_Orders/Binary_Relations.thy

Loading...
View Options

thys/Complete_Non_Orders/Complete_Relations.thy

Loading...
View Options

thys/Complete_Non_Orders/Continuity.thy

Loading...
View Options

thys/Complete_Non_Orders/Directedness.thy

Loading...
View Options

thys/Complete_Non_Orders/Fixed_Points.thy

Loading...
View Options

thys/Complete_Non_Orders/Kleene_Fixed_Point.thy

Loading...
View Options

thys/Complete_Non_Orders/ROOT

Loading...
View Options

thys/Complete_Non_Orders/Well_Relations.thy

Loading...
View Options

thys/Complete_Non_Orders/document/root.bib

Loading...
View Options

thys/Complete_Non_Orders/document/root.tex

Loading...