Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. regenerate devel website
  2. adjust for isabelle 77332fed33c3
  3. merge from afp-2016
  4. new entry Category3 by by Eugene Stark
  5. clean up old SF mentions in admin/
  6. new entry Card_Multisets by Lukas Bulwahn
  7. tuned
  8. New entry Dependent_SIFUM_Type_Systems
  9. reduced timeout
  10. standardised imports
  11. new entry Algebraic_VCs
Changeset 6818:182e84ed1462 by kleing:
regenerate devel website
The file was addedweb/entries/Catalan_Numbers.shtml
Changeset 6817:268e107583e8 by kleing:
adjust for isabelle 77332fed33c3
The file was modified thys/Card_Multisets/Card_Multisets.thy (diff)
The file was modified thys/Dependent_SIFUM_Type_Systems/Examples/Example_Swap_Add.thy (diff)
The file was modified thys/Dependent_SIFUM_Type_Systems/LocallySoundModeUse.thy (diff)
The file was modified thys/Dependent_SIFUM_Type_Systems/TypeSystem.thy (diff)
The file was modified thys/SIFUM_Type_Systems/Language.thy (diff)
Changeset 6816:2ccb33a1961d by kleing:
merge from afp-2016
Changeset 6815:af1ebb63558f by gerwin.klein@nicta.com.au:
new entry Category3 by by Eugene Stark
The file was addedthys/Category3/AbstractedCategory.thy
The file was addedthys/Category3/Adjunction.thy
The file was addedthys/Category3/BinaryFunctor.thy
The file was addedthys/Category3/Category.thy
The file was addedthys/Category3/DiscreteCategory.thy
The file was addedthys/Category3/DualCategory.thy
The file was addedthys/Category3/EpiMonoIso.thy
The file was addedthys/Category3/FreeCategory.thy
The file was addedthys/Category3/Functor.thy
The file was addedthys/Category3/FunctorCategory.thy
The file was addedthys/Category3/InitialTerminal.thy
The file was addedthys/Category3/Limit.thy
The file was addedthys/Category3/NaturalTransformation.thy
The file was addedthys/Category3/ProductCategory.thy
The file was addedthys/Category3/ROOT
The file was addedthys/Category3/SetCat.thy
The file was addedthys/Category3/SetCategory.thy
The file was addedthys/Category3/Yoneda.thy
The file was addedthys/Category3/document/root.bib
The file was addedthys/Category3/document/root.tex
The file was addedweb/entries/Category3.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/topics.shtml (diff)
Changeset 6814:fa712939b582 by gerwin.klein@nicta.com.au:
clean up old SF mentions in admin/
The file was modified admin/publish (diff)
Changeset 6813:8185e0e2be01 by gerwin.klein@nicta.com.au:
new entry Card_Multisets by Lukas Bulwahn
The file was addedthys/Card_Multisets/Card_Multisets.thy
The file was addedthys/Card_Multisets/ROOT
The file was addedthys/Card_Multisets/document/root.bib
The file was addedthys/Card_Multisets/document/root.tex
The file was addedweb/entries/Card_Multisets.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/topics.shtml (diff)
Changeset 6812:b62a978fa692 by nipkow:
tuned
The file was modified metadata/metadata (diff)
The file was modified web/entries/Dependent_SIFUM_Type_Systems.shtml (diff)
Changeset 6811:f87becbdd3bf by nipkow:
New entry Dependent_SIFUM_Type_Systems
The file was addedthys/Dependent_SIFUM_Type_Systems/Compositionality.thy
The file was addedthys/Dependent_SIFUM_Type_Systems/Examples/Example.thy
The file was addedthys/Dependent_SIFUM_Type_Systems/Examples/Example_Swap_Add.thy
The file was addedthys/Dependent_SIFUM_Type_Systems/Examples/Example_TypeSystem.thy
The file was addedthys/Dependent_SIFUM_Type_Systems/Examples/TypeSystemTactics.thy
The file was addedthys/Dependent_SIFUM_Type_Systems/Language.thy
The file was addedthys/Dependent_SIFUM_Type_Systems/LocallySoundModeUse.thy
The file was addedthys/Dependent_SIFUM_Type_Systems/Preliminaries.thy
The file was addedthys/Dependent_SIFUM_Type_Systems/ROOT
The file was addedthys/Dependent_SIFUM_Type_Systems/Security.thy
The file was addedthys/Dependent_SIFUM_Type_Systems/TypeSystem.thy
The file was addedthys/Dependent_SIFUM_Type_Systems/document/root.bib
The file was addedthys/Dependent_SIFUM_Type_Systems/document/root.tex
The file was addedweb/entries/Dependent_SIFUM_Type_Systems.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/topics.shtml (diff)
Changeset 6810:9bfcd0bfeb80 by gerwin.klein@nicta.com.au:
reduced timeout
The file was modified thys/Algebraic_VCs/ROOT (diff)
Changeset 6809:9d93c295aa8e by gerwin.klein@nicta.com.au:
standardised imports
The file was modified thys/Algebraic_VCs/AVC_KAD/Path_Model_Example.thy (diff)
The file was modified thys/Algebraic_VCs/AVC_KAD/Pointer_Examples.thy (diff)
The file was modified thys/Algebraic_VCs/AVC_KAD/VC_KAD_Examples2.thy (diff)
The file was modified thys/Algebraic_VCs/AVC_KAT/VC_KAT_Examples2.thy (diff)
The file was modified thys/Algebraic_VCs/ROOT (diff)
Changeset 6808:ce34790f8955 by gerwin.klein@nicta.com.au:
new entry Algebraic_VCs
The file was addedthys/Algebraic_VCs/AVC_KAD/Path_Model_Example.thy
The file was addedthys/Algebraic_VCs/AVC_KAD/Pointer_Examples.thy
The file was addedthys/Algebraic_VCs/AVC_KAD/VC_KAD.thy
The file was addedthys/Algebraic_VCs/AVC_KAD/VC_KAD_Examples.thy
The file was addedthys/Algebraic_VCs/AVC_KAD/VC_KAD_Examples2.thy
The file was addedthys/Algebraic_VCs/AVC_KAD/VC_KAD_dual.thy
The file was addedthys/Algebraic_VCs/AVC_KAD/VC_KAD_dual_Examples.thy
The file was addedthys/Algebraic_VCs/AVC_KAD/VC_KAD_scratch.thy
The file was addedthys/Algebraic_VCs/AVC_KAD/VC_KAD_wf.thy
The file was addedthys/Algebraic_VCs/AVC_KAD/VC_KAD_wf_Examples.thy
The file was addedthys/Algebraic_VCs/AVC_KAT/VC_KAT.thy
The file was addedthys/Algebraic_VCs/AVC_KAT/VC_KAT_Examples.thy
The file was addedthys/Algebraic_VCs/AVC_KAT/VC_KAT_Examples2.thy
The file was addedthys/Algebraic_VCs/AVC_KAT/VC_KAT_scratch.thy
The file was addedthys/Algebraic_VCs/AVC_KAT/VC_RKAT.thy
The file was addedthys/Algebraic_VCs/AVC_KAT/VC_RKAT_Examples.thy
The file was addedthys/Algebraic_VCs/Domain_Quantale.thy
The file was addedthys/Algebraic_VCs/KAD_is_KAT.thy
The file was addedthys/Algebraic_VCs/P2S2R.thy
The file was addedthys/Algebraic_VCs/RKAT.thy
The file was addedthys/Algebraic_VCs/RKAT_Models.thy
The file was addedthys/Algebraic_VCs/ROOT
The file was addedthys/Algebraic_VCs/document/root.bib
The file was addedthys/Algebraic_VCs/document/root.tex
The file was addedweb/entries/Algebraic_VCs.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/entries/KAD.shtml (diff)
The file was modified web/entries/KAT_and_DRA.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)