Changes

Summary

adapted to devel
adapted to devel
merged
adapted to devel
remove stale .shtml files
sitegen: run --check by default
metadata: remove outdated email addresses
merged
updated to devel
merged
moved some infinite product material to Analysis

Changeset 9408:bfd962a73544 by nipkow: adapted to devel
The file was modified	`thys/Collections/ICF/impl/ArrayHashMap_Impl.thy` (diff)
The file was modified	`thys/Collections/Iterator/SetIteratorOperations.thy` (diff)
Changeset 9407:5c9910fbd10e by nipkow: adapted to devel
The file was modified	`thys/HRB-Slicing/StaticInter/CFG.thy` (diff)
The file was modified	`thys/HRB-Slicing/StaticInter/CFG_wf.thy` (diff)
The file was modified	`thys/HRB-Slicing/StaticInter/Slice.thy` (diff)
The file was modified	`thys/HRB-Slicing/StaticInter/WeakSimulation.thy` (diff)
Changeset 9406:b1762c7564a3 by nipkow: merged
Changeset 9405:df43e18344e3 by nipkow: adapted to devel
The file was modified	`thys/Launchbury/AList-Utils.thy` (diff)
Changeset 9404:d32677220cb3 by lars hupel _lars.hupel@mytum.de_: remove stale .shtml files
The file was removed	`web/entries/Dict_Construction.shtml`
The file was removed	`web/entries/Stone_Kleene_Relation_Algebras.shtml`
Changeset 9403:19d93efccee3 by lars hupel _lars.hupel@mytum.de_: sitegen: run --check by default
The file was added	`thys/Example-Submission/.sitegen-ignore`
The file was modified	`admin/sitegen` (diff)
The file was modified	`admin/sitegen-lib/sitegen.py` (diff)
Changeset 9402:26f843c74cda by lars hupel _lars.hupel@mytum.de_: metadata: remove outdated email addresses
The file was modified	`metadata/metadata` (diff)
Changeset 9401:acfa5342e389 by nipkow: merged
Changeset 9400:7373012245f1 by nipkow: updated to devel
The file was modified	`thys/Consensus_Refined/Consensus_Misc.thy` (diff)
The file was modified	`thys/Consensus_Refined/MRU/Three_Step_MRU.thy` (diff)
The file was modified	`thys/Consensus_Refined/MRU_Vote_Opt.thy` (diff)
The file was modified	`thys/Consensus_Refined/Observing/BenOr_Proofs.thy` (diff)
The file was modified	`thys/Consensus_Refined/Observing/Two_Step_Observing.thy` (diff)
The file was modified	`thys/Consensus_Refined/Observing/Uv_Proofs.thy` (diff)
The file was modified	`thys/Consensus_Refined/Observing_Quorums.thy` (diff)
The file was modified	`thys/Consensus_Refined/Observing_Quorums_Opt.thy` (diff)
The file was modified	`thys/Consensus_Refined/Voting.thy` (diff)
The file was modified	`thys/Consensus_Refined/Voting_Opt.thy` (diff)
The file was modified	`thys/Game_Based_Crypto/Hashed_Elgamal.thy` (diff)
The file was modified	`thys/Game_Based_Crypto/Pseudo_Random_Function.thy` (diff)
The file was modified	`thys/Locally-Nameless-Sigma/Sigma/Sigma.thy` (diff)
The file was modified	`thys/Locally-Nameless-Sigma/Sigma/TypedSigma.thy` (diff)
The file was modified	`thys/Locally-Nameless-Sigma/preliminary/FMap.thy` (diff)
The file was modified	`thys/Separation_Algebra/Map_Extra.thy` (diff)
The file was modified	`thys/Separation_Algebra/ex/VM_Example.thy` (diff)
The file was modified	`thys/Separation_Algebra/ex/capDL/Abstract_Separation_D.thy` (diff)
The file was modified	`thys/Separation_Algebra/ex/capDL/Separation_D.thy` (diff)
The file was modified	`thys/Separation_Algebra/ex/capDL/Types_D.thy` (diff)
The file was modified	`thys/Shivers-CFA/AbsCF.thy` (diff)
The file was modified	`thys/Shivers-CFA/AbsCFComp.thy` (diff)
The file was modified	`thys/Shivers-CFA/AbsCFCorrect.thy` (diff)
The file was modified	`thys/Shivers-CFA/Eval.thy` (diff)
The file was modified	`thys/Shivers-CFA/ExCF.thy` (diff)
The file was modified	`thys/Shivers-CFA/ExCFSV.thy` (diff)
The file was modified	`thys/Shivers-CFA/MapSets.thy` (diff)
Changeset 9399:10259a947426 by paulson: merged
Changeset 9398:8c95883a4d72 by paulson _lp15@cam.ac.uk_: moved some infinite product material to Analysis
The file was modified	`thys/Irrationality_J_Hancl/Irrationality_J_Hancl.thy` (diff)