new entry Van_der_Waerden
a3c7e21a602f
Actions

Description

new entry Van_der_Waerden

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (9)

Path

Size

rAFPa3c7e21a602f

thys/ROOTS

thys/Van_der_Waerden/Digits.thy

thys/Van_der_Waerden/ROOT

thys/Van_der_Waerden/Van_der_Waerden.thy

thys/Van_der_Waerden/document/root.bib

thys/Van_der_Waerden/document/root.tex

new entry Van_der_Waerdena3c7e21a602fActions

Description

Details

Changes (9)

rAFPa3c7e21a602f

thys/ROOTS

thys/Van_der_Waerden/Digits.thy

thys/Van_der_Waerden/ROOT

thys/Van_der_Waerden/Van_der_Waerden.thy

thys/Van_der_Waerden/document/root.bib

thys/Van_der_Waerden/document/root.tex

new entry Van_der_Waerden
a3c7e21a602f
Actions