Changes

Summary

merge from afp-2016-1
add René as editor
restored missing file
page for Key_Agreement_Strong_Adversaries
Key_Agreement_Strong_Adversaries
New entry Bernoulli

Changeset 7609:9fc2fab5fe46 by kleing: merge from afp-2016-1
Changeset 7608:267b4eca17e9 by gerwin klein _gerwin.klein@nicta.com.au_: add René as editor
The file was modified	`web/about.shtml` (diff)
Changeset 7607:5531544dd7eb by paulson _lp15@cam.ac.uk_: restored missing file
The file was added	`thys/Key_Agreement_Strong_Adversaries/document/session_graph.tex`
Changeset 7606:3ce8d7940887 by paulson _lp15@cam.ac.uk_: page for Key_Agreement_Strong_Adversaries
The file was added	`web/entries/Key_Agreement_Strong_Adversaries.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/statistics.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)
Changeset 7605:927d424975e4 by paulson _lp15@cam.ac.uk_: Key_Agreement_Strong_Adversaries
The file was added	`thys/Key_Agreement_Strong_Adversaries/AuthenticationI.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/AuthenticationN.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/Channels.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/IK.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/Implem.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/Implem_asymmetric.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/Implem_lemmas.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/Implem_symmetric.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/Import_all.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/Infra.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/Message_derivation.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/Messages.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/Payloads.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/README.txt`
The file was added	`thys/Key_Agreement_Strong_Adversaries/ROOT`
The file was added	`thys/Key_Agreement_Strong_Adversaries/Refinement.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/Runs.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/Secrecy.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/dhlvl1.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/dhlvl2.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/dhlvl3.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/dhlvl3_asymmetric.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/dhlvl3_symmetric.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/document/root.tex`
The file was added	`thys/Key_Agreement_Strong_Adversaries/pfslvl1.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/pfslvl2.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/pfslvl3.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/pfslvl3_asymmetric.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/pfslvl3_symmetric.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/sklvl1.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/sklvl2.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/sklvl3.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/sklvl3_asymmetric.thy`
The file was added	`thys/Key_Agreement_Strong_Adversaries/sklvl3_symmetric.thy`
The file was modified	`thys/ROOTS` (diff)
Changeset 7604:0036124c3c90 by nipkow: New entry Bernoulli
The file was added	`thys/Bernoulli/Bernoulli.thy`
The file was added	`thys/Bernoulli/Bernoulli_FPS.thy`
The file was added	`thys/Bernoulli/Periodic_Bernpoly.thy`
The file was added	`thys/Bernoulli/ROOT`
The file was added	`thys/Bernoulli/document/root.bib`
The file was added	`thys/Bernoulli/document/root.tex`
The file was added	`web/entries/Bernoulli.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/statistics.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)