Diffusion afp-devel 12ccbbaa240f

new entry IsaGeoCoq
12ccbbaa240f
Actions

Tags

None

Subscribers

None

Description

new entry IsaGeoCoq

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPf2bc278d8c6e: New entry JinjaDCI

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP12ccbbaa240f: new entry IsaGeoCoq.Feb 1 2021, 12:35 PM

Changes (8)

Path

Size

Tarski_Neutral.thy

rAFP12ccbbaa240f

thys/IsaGeoCoq/ROOT

Loading...

thys/IsaGeoCoq/Tarski_Neutral.thy

Loading...

thys/IsaGeoCoq/document/root.bib

Loading...

thys/IsaGeoCoq/document/root.tex

Loading...

thys/ROOTS

Loading...