Changes

Summary

afp.sf.net links -> isa-afp.org
merge from afp-2016
note host name

Changeset 6537:6b463496b24e by kleing: afp.sf.net links -> isa-afp.org
The file was modified	`thys/AODV/document/root.bib` (diff)
The file was modified	`thys/Algebraic_Numbers/document/root.bib` (diff)
The file was modified	`thys/Call_Arity/document/root.bib` (diff)
The file was modified	`thys/Card_Partitions/document/root.bib` (diff)
The file was modified	`thys/ClockSynchInst/document/root.tex` (diff)
The file was modified	`thys/Collections/Examples/Refine_Monadic/Bfs_Impl.thy` (diff)
The file was modified	`thys/Collections/Userguides/ICF_Userguide.thy` (diff)
The file was modified	`thys/ConcurrentGC/document/root.bib` (diff)
The file was modified	`thys/ConcurrentIMP/document/root.bib` (diff)
The file was modified	`thys/Consensus_Refined/document/root.bib` (diff)
The file was modified	`thys/Containers/document/root.bib` (diff)
The file was modified	`thys/Dijkstra_Shortest_Path/document/root.bib` (diff)
The file was modified	`thys/Example-Submission/Submission.thy` (diff)
The file was modified	`thys/Featherweight_OCL/examples/Employee_Model/Analysis/Analysis_UML.thy` (diff)
The file was modified	`thys/Featherweight_OCL/src/document/introduction.tex` (diff)
The file was modified	`thys/Formal_SSA/README.md` (diff)
The file was modified	`thys/Gabow_SCC/document/root.bib` (diff)
The file was modified	`thys/GraphMarkingIBP/document/root.bib` (diff)
The file was modified	`thys/HRB-Slicing/document/root.tex` (diff)
The file was modified	`thys/Heard_Of/document/root.bib` (diff)
The file was modified	`thys/HotelKeyCards/document/intro.tex` (diff)
The file was modified	`thys/HyperCTL/document/bib.bib` (diff)
The file was modified	`thys/InformationFlowSlicing/document/root.bib` (diff)
The file was modified	`thys/Isabelle_Meta_Model/document/root.bib` (diff)
The file was modified	`thys/Jordan_Hoelder/document/root.bib` (diff)
The file was modified	`thys/Jordan_Normal_Form/document/root.bib` (diff)
The file was modified	`thys/KAT_and_DRA/document/root.bib` (diff)
The file was modified	`thys/KBPs/document/root.bib` (diff)
The file was modified	`thys/Koenigsberg_Friendship/document/root.bib` (diff)
The file was modified	`thys/LTL_to_GBA/document/root.bib` (diff)
The file was modified	`thys/Launchbury/document/root.bib` (diff)
The file was modified	`thys/List_Interleaving/document/root.bib` (diff)
The file was modified	`thys/MSO_Regex_Equivalence/document/root.bib` (diff)
The file was modified	`thys/MonoBoolTranAlgebra/document/root.bib` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Lib/FiniteGraph.thy` (diff)
The file was modified	`thys/Noninterference_Generic_Unwinding/document/root.bib` (diff)
The file was modified	`thys/Noninterference_Inductive_Unwinding/document/root.bib` (diff)
The file was modified	`thys/Noninterference_Ipurge_Unwinding/document/root.bib` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/document/root.bib` (diff)
The file was modified	`thys/Parity_Game/document/root.bib` (diff)
The file was modified	`thys/Polynomial_Factorization/document/root.bib` (diff)
The file was modified	`thys/Polynomial_Interpolation/document/root.bib` (diff)
The file was modified	`thys/Pop_Refinement/document/root.bib` (diff)
The file was modified	`thys/Probabilistic_Noninterference/document/root.tex` (diff)
The file was modified	`thys/Random_Graph_Subgraph_Threshold/document/root.bib` (diff)
The file was modified	`thys/Rank_Nullity_Theorem/Generalizations.thy` (diff)
The file was modified	`thys/Rank_Nullity_Theorem/Miscellaneous.thy` (diff)
The file was modified	`thys/Refine_Monadic/Userguide.pdf` (diff)
The file was modified	`thys/Refine_Monadic/document/root.bib` (diff)
The file was modified	`thys/RefinementReactive/document/root.bib` (diff)
The file was modified	`thys/Regular_Algebras/document/root.bib` (diff)
The file was modified	`thys/SIFPL/document/root.bib` (diff)
The file was modified	`thys/SenSocialChoice/document/root.bib` (diff)
The file was modified	`thys/Separation_Logic_Imperative_HOL/document/root.bib` (diff)
The file was modified	`thys/Skew_Heap/document/root.tex` (diff)
The file was modified	`thys/Splay_Tree/document/root.tex` (diff)
The file was modified	`thys/Stream_Fusion_Code/document/root.bib` (diff)
The file was modified	`thys/TortoiseHare/document/root.bib` (diff)
The file was modified	`thys/Transitive-Closure-II/document/root.bib` (diff)
The file was modified	`thys/Tree-Automata/document/root.bib` (diff)
Changeset 6536:18ab0d760c57 by kleing: merge from afp-2016
Changeset 6535:9a4ebc4f6e05 by gerwin.klein@nicta.com.au: note host name
The file was modified	`admin/make-web-devel` (diff)