Diffusion afp-devel 390f230578c5

merged
390f230578c5
Actions

Description

merged

Details

Provenance

nipkow

Authored on

Parents

rAFP78b756217908: More material
rAFPf6456079a297: added idempotent most general unifier

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP390f230578c5: merged.Feb 16 2022, 1:57 PM

Merged Changes

This commit merges a very large number of changes. Only the first 50 are shown.

f6456079a297 added idempotent most general unifier
Author
desharna
Browse Repository
No Builds
No Audits
529f5f3d2da0 used same parameter order for locales substitution and substitution
Author
desharna
Browse Repository
No Builds
No Audits
f7df1a1ea10c patched for new/simplified lemmas
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
f1fb5d9cc8b2 Updated metadata in migration and theory view;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
b74da009ae6d Better notation.
Author
Asta Halkjær From <andro.from@gmail.com>
Browse Repository
No Builds
No Audits
3e0d4252153b merge from afp-2021-1
Author
kleing
Browse Repository
No Builds
No Audits
bece356544f4 avoid conflict with index.html in generated html
Author
kleing
Browse Repository
No Builds
No Audits
853bc2883e56 New entry: FO_Theory_Rewriting
Author
nipkow
Browse Repository
No Builds
No Audits
407fe43aed0a Improve consistency of type-variables in WOOT_Strong_Eventual_Consistency.
Author
Emin Karayel <me@eminkarayel.de>
Browse Repository
No Builds
No Audits
bc4f44e86dae Improve proofs for Interpolation_Polynomials_HOL_Algebra.
Author
Emin Karayel <me@eminkarayel.de>
Browse Repository
No Builds
No Audits
8f595e5bd261 hugo site: updated site templates;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
09a3e2523fd9 metadata migration: updated authors;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
bd32b1fd6406 merged
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
d80eeff3bd7d hugo: added mobile view;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
9be5074d44ca hugo: copy to proper path;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
080b665e6ae3 added theory navbar;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
2bcb6698a17e tuned formatting;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
1266c86cf47b added loader;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
b30cbcc1846c tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
d6ff995cf5a9 tuned: more canonical Isabelle code style;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
b32649b547e9 proper loading of foundational hrefs;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
53e6f3897fff fix dependencies;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
ab1cf8fca876 added devel flag;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
cc835fde7a38 updated about page;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
5f2eb2ceef51 moved extraction of related entries to hugo;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
a53823fdccd8 improved keyword extraction;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
cea71b734a23 added keywords to site generated entry data;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
b69b09d8f99a use tmp file for python script instead of command;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
e450d45c4680 added js-side theory loading to afp site;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
5857c4582eae integrated metadata changes into site;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
09790a81f454 added missing keyword data;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
5369b980e2fe removed html dir from sitegen (now set inside hugo);
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
c5355362ec54 tuned sitegen: moved dependencies generation to scala
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
df920a57d3cf changed generated author format;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
f09cb003fe3c tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
f69e70cf8a17 tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
2b9064e3aaa4 tuned hugo: static files more explicit;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
12628bcb34d2 tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
29324715b4d0 proper authors/affiliations gen for hugo taxonomy;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
f81257bb1f6d clarified hugo data;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
d7cd94262b1a added missing name mapping to migration;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
a125cf87f609 proper output path;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
3dc8035b2428 added missing topics;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
3aae61bb0567 clarified hugo build signature;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
d2e0fd5a6ec2 added more steps to afp site generation tool;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
a40fc791abac tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
3e1f6e97fb35 added hugo project by Carlin MacKenzie;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
fb767a74d676 added sitegen scripts by Carlin MacKenzie (slightly tweaked);
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
9895c8d9135b added afp hugo module;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
17494afe4715 clarified afp_dependencies: proper typed output;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits

Changes (1)

Path

Size

thys/

Weight_Balanced_Trees/

Weight_Balanced_Trees_log.thy

rAFP390f230578c5

View Options

thys/Weight_Balanced_Trees/Weight_Balanced_Trees_log.thy

merged390f230578c5Actions

Description

Details

Event Timeline

Merged Changes

Changes (1)

rAFP390f230578c5

thys/Weight_Balanced_Trees/Weight_Balanced_Trees_log.thy

merged
390f230578c5
Actions