Commit [3c0fd3] default Maximize Restore History

merged

nipkow nipkow 2012-05-02

added thys/Inductive_Confidentiality/DolevYao/NS_Public_Bad.thy
added thys/Inductive_Confidentiality/DolevYao/Public.thy
added thys/Inductive_Confidentiality/DolevYao/Message.thy
added thys/Inductive_Confidentiality/DolevYao/Event.thy
added thys/Inductive_Confidentiality/DolevYao/ConfidentialityDY.thy
added thys/Inductive_Confidentiality/document/root.bib
added thys/Inductive_Confidentiality/document/root.tex
added thys/Inductive_Confidentiality/GeneralAttacker/ConfidentialityGA.thy
added thys/Inductive_Confidentiality/GeneralAttacker/NS_Public_Bad_GA.thy
added thys/Inductive_Confidentiality/GeneralAttacker/EventGA.thy
added thys/Inductive_Confidentiality/GeneralAttacker/PublicGA.thy
added thys/Inductive_Confidentiality/GeneralAttacker/Knowledge.thy
added thys/Inductive_Confidentiality/GeneralAttacker/MessageGA.thy
added thys/Inductive_Confidentiality/config
added thys/Inductive_Confidentiality/IsaMakefile
added thys/Inductive_Confidentiality/ROOT.ML
removed thys/Polynomials/document/._root.tex
changed web/citing.shtml
changed web/index.shtml
changed metadata/metadata
thys/Inductive_Confidentiality/DolevYao/NS_Public_Bad.thy Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/DolevYao/Public.thy Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/DolevYao/Message.thy Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/DolevYao/Event.thy Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/DolevYao/ConfidentialityDY.thy Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/document/root.bib Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/document/root.tex Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/GeneralAttacker/ConfidentialityGA.thy Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/GeneralAttacker/NS_Public_Bad_GA.thy Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/GeneralAttacker/EventGA.thy Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/GeneralAttacker/PublicGA.thy Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/GeneralAttacker/Knowledge.thy Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/GeneralAttacker/MessageGA.thy Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/config Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/IsaMakefile Diff Switch to side-by-side view
Loading...
thys/Inductive_Confidentiality/ROOT.ML Diff Switch to side-by-side view
Loading...
web/citing.shtml Diff Switch to side-by-side view
Loading...
web/index.shtml Diff Switch to side-by-side view
Loading...
metadata/metadata Diff Switch to side-by-side view
Loading...