Diffusion afp-devel 5c9417f37470

merge from afp-2019
5c9417f37470
Actions

Tags

None

Subscribers

None

Description

merge from afp-2019

Details

Provenance

Authored on

Parents

rAFP841f0dcedae1: New entry KD_Tree
rAFPa8e34b81e70f: tuned timeout;

Branches

Unknown

Tags

Unknown

Event Timeline

Merged Changes

a8e34b81e70f tuned timeout;
Author
makarius
Browse Repository
No Builds
No Audits
7149dd204040 clarified signature;
Author
makarius
Browse Repository
No Builds
No Audits
87cfcf4d1dec update cartouches
Author
Lars Hupel <lars.hupel@mytum.de>
Browse Repository
No Builds
No Audits
ca143f3dbb79 LambdaAuth: remove lemmas moved to distribution
Author
Lars Hupel <lars.hupel@mytum.de>
Browse Repository
No Builds
No Audits
cd86f83a05bb merge from afp-2019
Author
kleing
Browse Repository
No Builds
No Audits
72f2f7d150d6 re-instate devel changeset 6edffc003761
Author
kleing
Browse Repository
No Builds
No Audits
753dc504efaf reset version to devel after release fork
Author
kleing
Browse Repository
No Builds
No Audits
a0d561998f20 closed branch
Author
kleing
Browse Repository
No Builds
No Audits
8e995d947fb0 closed pull-request branch
Author
Gerwin Klein <gerwin.klein@nicta.com.au>
Browse Repository
No Builds
No Audits
249c2b58d173 closed merged branch
Author
Gerwin Klein <gerwin.klein@nicta.com.au>
Browse Repository
No Builds
No Audits
ad14484777fc merged
Author
gerwin.klein@nicta.com.au
Browse Repository
No Builds
No Audits
e3e858bfc9eb merged
Author
kleing
Browse Repository
No Builds
No Audits
4bea345493dd Closed branch ltl
Author
Salomon Sickert <sickert@in.tum.de>
Browse Repository
No Builds
No Audits
53421953ad96 WIP/LTL Entry
Author
Salomon Sickert <sickert@in.tum.de>
Browse Repository
No Builds
No Audits

Changes (20)

Path

Size

metadata/

Nearest_Neighbors.thy

Range_Search.thy

Median_Of_Medians_Selection.html

statistics.html

rAFP5c9417f37470

metadata/metadata

Loading...

thys/KD_Tree/Balanced.thy

Loading...

thys/KD_Tree/KDTree.thy

Loading...

thys/KD_Tree/Nearest_Neighbors.thy

Loading...

thys/KD_Tree/ROOT

Loading...

thys/KD_Tree/Range_Search.thy

Loading...

thys/KD_Tree/document/root.bib

Loading...

thys/KD_Tree/document/root.tex

Loading...

thys/ROOTS

Loading...

web/entries/KD_Tree.html

Loading...

web/entries/Median_Of_Medians_Selection.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...