Diffusion afp-devel fabc5f83d7ed

merged
fabc5f83d7ed
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rAFP84c055f7b95d: more explicit proof
rAFP21348d1ad4c9: sync Word_Lib with l4v

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPfabc5f83d7ed: merged.Jan 17 2021, 11:08 PM

Merged Changes

21348d1ad4c9 sync Word_Lib with l4v
Author
kleing
Browse Repository
No Builds
No Audits
4ee343798f76 adapted to scala-2.13.4;
Author
makarius
Browse Repository
No Builds
No Audits
c7606b58bd03 removed a terrible default simprule
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
601908994b57 Word_Lib: spelling
Author
kleing
Browse Repository
No Builds
No Audits
52bcf666e8c7 CSP_RefTK: adjust for Isabelle 1105c42722dc
Author
kleing
Browse Repository
No Builds
No Audits
f7ada09942ba merge from afp-2020
Author
kleing
Browse Repository
No Builds
No Audits
dd8e0cdca49e sitegen for CSP_RefTK
Author
pruvisto
Browse Repository
No Builds
No Audits
626c957d2647 New submission: CSP_RefTK
Author
pruvisto
Browse Repository
No Builds
No Audits
2da14e4d854f webpage for Delta_System_Lemma
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
89ed1831f6cd New (ZF!) entry Delta_System_Lemma
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
a80f4e41ac2b sitegen and metadata
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
85bc7487435c new entry: Topological_Semantics
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
3b5ff4b8d37d Closing branch "devel"
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 (1)

Path

Size

thys/

Amortized_Complexity/

Splay_Tree_Analysis.thy

rAFPfabc5f83d7ed

thys/Amortized_Complexity/Splay_Tree_Analysis.thy

Loading...