HomeIsabelle/Phabricator
Diffusion afp-devel 471638a4827d

new entry Foundation_of_geometry
471638a4827d
Actions

Description

new entry Foundation_of_geometry

Details

Provenance
kleingAuthored on
Parents
rAFPc7ef8405c949: new entry Simplicial_complexes_and_boolean_functions
Branches
Unknown
Tags
Unknown

Changes (18)

PathSize
metadata/

rAFP471638a4827d

View Options

metadata/metadata

Loading...
View Options

thys/Foundation_of_geometry/Congruence.thy

Loading...
View Options

thys/Foundation_of_geometry/Incidence.thy

Loading...
View Options

thys/Foundation_of_geometry/Order.thy

Loading...
View Options

thys/Foundation_of_geometry/ROOT

Loading...
View Options

thys/Foundation_of_geometry/document/root.bib

Loading...
View Options

thys/Foundation_of_geometry/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...
View Options

web/entries/Foundation_of_geometry.html

Loading...
View Options

web/index.html

Loading...
View Options

web/rss.xml

Loading...
View Options

web/statistics.html

Loading...
View Options

web/topics.html

Loading...