Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge from 2016-1
  2. website for Game_Based_Crypto
  3. new entry: Game_Based_Crypto
  4. website for CryptHOL
  5. new entry: CryptHOL
  6. put empty URL for Joshua Schneider to avoid warning by sitegen
  7. website for Probabilistic_While
  8. new entry: Probabilistic_While
  9. website for Monad_Normalisation
  10. website for Monad_Normalisation
  11. new entry: Monad_Normalisation
  12. website update for Monomorphic_Monad
  13. added new entry Monomorphic_Monad
  14. New entry: Floyd_Warshall
  15. New entry MonoidalCategory
  16. Types_Tableaus_and_Goedels_God website
  17. new entry Types_Tableaus_and_Goedels_God
  18. Local Lexing website
  19. new entry Local Lexing
Changeset 7928:32c317a60867 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from 2016-1
Changeset 7927:205205e65c41 by rene thiemann _rene.thiemann@uibk.ac.at_:
website for Game_Based_Crypto
The file was addedweb/entries/Game_Based_Crypto.shtml
The file was modified metadata/metadata (diff)
The file was modified web/entries/CryptHOL.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7926:deb0cb28c0f5 by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry: Game_Based_Crypto
The file was addedthys/Game_Based_Crypto/Cryptographic_Constructions.thy
The file was addedthys/Game_Based_Crypto/Diffie_Hellman.thy
The file was addedthys/Game_Based_Crypto/Elgamal.thy
The file was addedthys/Game_Based_Crypto/Game_Based_Crypto.thy
The file was addedthys/Game_Based_Crypto/Guessing_Many_One.thy
The file was addedthys/Game_Based_Crypto/Hashed_Elgamal.thy
The file was addedthys/Game_Based_Crypto/IND_CCA2.thy
The file was addedthys/Game_Based_Crypto/IND_CCA2_sym.thy
The file was addedthys/Game_Based_Crypto/IND_CPA.thy
The file was addedthys/Game_Based_Crypto/IND_CPA_PK.thy
The file was addedthys/Game_Based_Crypto/IND_CPA_PK_Single.thy
The file was addedthys/Game_Based_Crypto/PRF_IND_CPA.thy
The file was addedthys/Game_Based_Crypto/PRF_UHF.thy
The file was addedthys/Game_Based_Crypto/PRF_UPF_IND_CCA.thy
The file was addedthys/Game_Based_Crypto/Pseudo_Random_Function.thy
The file was addedthys/Game_Based_Crypto/Pseudo_Random_Permutation.thy
The file was addedthys/Game_Based_Crypto/ROOT
The file was addedthys/Game_Based_Crypto/RP_RF.thy
The file was addedthys/Game_Based_Crypto/SUF_CMA.thy
The file was addedthys/Game_Based_Crypto/Security_Spec.thy
The file was addedthys/Game_Based_Crypto/Unpredictable_Function.thy
The file was addedthys/Game_Based_Crypto/document/root.bib
The file was addedthys/Game_Based_Crypto/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 7925:4718aa1b19a6 by rene thiemann _rene.thiemann@uibk.ac.at_:
website for CryptHOL
The file was addedweb/entries/CryptHOL.shtml
The file was modified metadata/metadata (diff)
The file was modified web/entries/Applicative_Lifting.shtml (diff)
The file was modified web/entries/Coinductive.shtml (diff)
The file was modified web/entries/Landau_Symbols.shtml (diff)
The file was modified web/entries/Monad_Normalisation.shtml (diff)
The file was modified web/entries/Monomorphic_Monad.shtml (diff)
The file was modified web/entries/Probabilistic_While.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7924:5ac84687f11a by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry: CryptHOL
The file was addedthys/CryptHOL/Computational_Model.thy
The file was addedthys/CryptHOL/CryptHOL.thy
The file was addedthys/CryptHOL/Cyclic_Group.thy
The file was addedthys/CryptHOL/Cyclic_Group_SPMF.thy
The file was addedthys/CryptHOL/Environment_Functor.thy
The file was addedthys/CryptHOL/GPV_Applicative.thy
The file was addedthys/CryptHOL/GPV_Bisim.thy
The file was addedthys/CryptHOL/GPV_Expectation.thy
The file was addedthys/CryptHOL/Generat.thy
The file was addedthys/CryptHOL/Generative_Probabilistic_Value.thy
The file was addedthys/CryptHOL/Landau_More.thy
The file was addedthys/CryptHOL/List_Bits.thy
The file was addedthys/CryptHOL/Misc_CryptHOL.thy
The file was addedthys/CryptHOL/Negligible.thy
The file was addedthys/CryptHOL/Partial_Function_Set.thy
The file was addedthys/CryptHOL/ROOT
The file was addedthys/CryptHOL/Resumption.thy
The file was addedthys/CryptHOL/SPMF_Applicative.thy
The file was addedthys/CryptHOL/Set_Applicative.thy
The file was addedthys/CryptHOL/document/root.bib
The file was addedthys/CryptHOL/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 7923:214bee3672d1 by rene thiemann _rene.thiemann@uibk.ac.at_:
put empty URL for Joshua Schneider to avoid warning by sitegen
The file was modified metadata/metadata (diff)
Changeset 7922:7a903776848f by rene thiemann _rene.thiemann@uibk.ac.at_:
website for Probabilistic_While
The file was addedweb/entries/Probabilistic_While.shtml
The file was modified metadata/metadata (diff)
The file was modified web/entries/MFMC_Countable.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7921:a3ec65a7b59a by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry: Probabilistic_While
The file was addedthys/Probabilistic_While/Bernoulli.thy
The file was addedthys/Probabilistic_While/Fast_Dice_Roll.thy
The file was addedthys/Probabilistic_While/Geometric.thy
The file was addedthys/Probabilistic_While/ROOT
The file was addedthys/Probabilistic_While/While_SPMF.thy
The file was addedthys/Probabilistic_While/document/root.bib
The file was addedthys/Probabilistic_While/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 7920:05647f03a403 by rene thiemann _rene.thiemann@uibk.ac.at_:
website for Monad_Normalisation
The file was addedweb/entries/Monad_Normalisation.shtml
The file was modified metadata/metadata (diff)
The file was modified web/rss.xml (diff)
Changeset 7919:d36f53df473a by rene thiemann _rene.thiemann@uibk.ac.at_:
website for Monad_Normalisation
The file was modified metadata/metadata (diff)
The file was modified web/index.shtml (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7918:beead30bf77a by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry: Monad_Normalisation
The file was addedthys/Monad_Normalisation/Monad_Normalisation.thy
The file was addedthys/Monad_Normalisation/Monad_Normalisation_Test.thy
The file was addedthys/Monad_Normalisation/ROOT
The file was addedthys/Monad_Normalisation/document/root.bib
The file was addedthys/Monad_Normalisation/document/root.tex
The file was addedthys/Monad_Normalisation/monad_normalisation.ML
The file was addedthys/Monad_Normalisation/monad_rules.ML
The file was modified thys/ROOTS (diff)
Changeset 7917:fb61cc2b4bcc by rene thiemann _rene.thiemann@uibk.ac.at_:
website update for Monomorphic_Monad
The file was addedweb/entries/Monomorphic_Monad.shtml
The file was modified metadata/metadata (diff)
The file was modified web/index.shtml (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7916:a8f2120046be by rene thiemann _rene.thiemann@uibk.ac.at_:
added new entry Monomorphic_Monad
The file was addedthys/Monomorphic_Monad/Interpreter.thy
The file was addedthys/Monomorphic_Monad/Just_Do_It_Examples.thy
The file was addedthys/Monomorphic_Monad/Monad_Overloading.thy
The file was addedthys/Monomorphic_Monad/Monomorphic_Monad.thy
The file was addedthys/Monomorphic_Monad/ROOT
The file was addedthys/Monomorphic_Monad/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 7915:5218573f133b by nipkow:
New entry: Floyd_Warshall
The file was addedthys/Floyd_Warshall/FW_Code.thy
The file was addedthys/Floyd_Warshall/Floyd_Warshall.thy
The file was addedthys/Floyd_Warshall/ROOT
The file was addedthys/Floyd_Warshall/Recursion_Combinators.thy
The file was addedthys/Floyd_Warshall/document/root.bib
The file was addedthys/Floyd_Warshall/document/root.tex
The file was addedweb/entries/Floyd_Warshall.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/entries/Refine_Imperative_HOL.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7914:91404df3e1a0 by nipkow:
New entry MonoidalCategory
The file was addedthys/MonoidalCategory/Category3Adapter.thy
The file was addedthys/MonoidalCategory/FreeMonoidalCategory.thy
The file was addedthys/MonoidalCategory/MonoidalCategory.thy
The file was addedthys/MonoidalCategory/MonoidalFunctor.thy
The file was addedthys/MonoidalCategory/ROOT
The file was addedthys/MonoidalCategory/document/root.bib
The file was addedthys/MonoidalCategory/document/root.tex
The file was addedweb/entries/MonoidalCategory.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/entries/Category3.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7913:d92b17eb014d by paulson _lp15@cam.ac.uk_:
Types_Tableaus_and_Goedels_God website
The file was addedweb/entries/Types_Tableaus_and_Goedels_God.shtml
The file was modified metadata/metadata (diff)
The file was modified web/entries/GoedelGod.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7912:5a4f9fcf3b2b by paulson _lp15@cam.ac.uk_:
new entry Types_Tableaus_and_Goedels_God
The file was addedthys/Types_Tableaus_and_Goedels_God/AndersonProof.thy
The file was addedthys/Types_Tableaus_and_Goedels_God/FittingProof.thy
The file was addedthys/Types_Tableaus_and_Goedels_God/GoedelProof_P1.thy
The file was addedthys/Types_Tableaus_and_Goedels_God/GoedelProof_P2.thy
The file was addedthys/Types_Tableaus_and_Goedels_God/IHOML.thy
The file was addedthys/Types_Tableaus_and_Goedels_God/IHOML_Examples.thy
The file was addedthys/Types_Tableaus_and_Goedels_God/ROOT
The file was addedthys/Types_Tableaus_and_Goedels_God/Relations.thy
The file was addedthys/Types_Tableaus_and_Goedels_God/document/root.bib
The file was addedthys/Types_Tableaus_and_Goedels_God/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 7911:ed9db54cc8b4 by paulson _lp15@cam.ac.uk_:
Local Lexing website
The file was addedweb/entries/LocalLexing.shtml
The file was modified metadata/metadata (diff)
The file was modified web/index.shtml (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7910:3f43bda1f964 by paulson _lp15@cam.ac.uk_:
new entry Local Lexing
The file was addedthys/LocalLexing/CFG.thy
The file was addedthys/LocalLexing/Derivations.thy
The file was addedthys/LocalLexing/InductRules.thy
The file was addedthys/LocalLexing/LLEarleyParsing.thy
The file was addedthys/LocalLexing/Ladder.thy
The file was addedthys/LocalLexing/Limit.thy
The file was addedthys/LocalLexing/ListTools.thy
The file was addedthys/LocalLexing/LocalLexing.thy
The file was addedthys/LocalLexing/LocalLexingLemmas.thy
The file was addedthys/LocalLexing/MainTheorems.thy
The file was addedthys/LocalLexing/PathLemmas.thy
The file was addedthys/LocalLexing/ROOT
The file was addedthys/LocalLexing/TheoremD10.thy
The file was addedthys/LocalLexing/TheoremD11.thy
The file was addedthys/LocalLexing/TheoremD12.thy
The file was addedthys/LocalLexing/TheoremD13.thy
The file was addedthys/LocalLexing/TheoremD14.thy
The file was addedthys/LocalLexing/TheoremD2.thy
The file was addedthys/LocalLexing/TheoremD4.thy
The file was addedthys/LocalLexing/TheoremD5.thy
The file was addedthys/LocalLexing/TheoremD6.thy
The file was addedthys/LocalLexing/TheoremD7.thy
The file was addedthys/LocalLexing/TheoremD8.thy
The file was addedthys/LocalLexing/TheoremD9.thy
The file was addedthys/LocalLexing/Validity.thy
The file was addedthys/LocalLexing/document/root.tex
The file was modified thys/ROOTS (diff)