Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. adjust for isabelle bf2cf0653741
  2. merge from afp-2016
  3. author URLs
  4. sync entry nav with main nav
  5. webpage for Dependent_SIFUM_Refinement
  6. new entry Dependent_SIFUM_Refinement
  7. updated documentation: no more config files
  8. Computer Networks -> Networks
  9. new entry IP_Addresses
Changeset 6837:bdff6a11bc1f by kleing:
adjust for isabelle bf2cf0653741
The file was modified thys/Dependent_SIFUM_Refinement/CompositionalRefinement.thy (diff)
The file was modified thys/Dependent_SIFUM_Refinement/Examples/EgHighBranchRevC.thy (diff)
Changeset 6836:bcece381ad52 by kleing:
merge from afp-2016
Changeset 6835:3a8eb8a92673 by gerwin.klein@nicta.com.au:
author URLs
The file was modified metadata/metadata (diff)
The file was modified web/entries/Dependent_SIFUM_Refinement.shtml (diff)
The file was modified web/entries/Dependent_SIFUM_Type_Systems.shtml (diff)
The file was modified web/index.shtml (diff)
Changeset 6834:62148f8edf97 by gerwin.klein@nicta.com.au:
sync entry nav with main nav
The file was modified web/entries/nav.html (diff)
Changeset 6833:89c3a9773af1 by paulson _lp15@cam.ac.uk_:
webpage for Dependent_SIFUM_Refinement
The file was addedweb/entries/Dependent_SIFUM_Refinement.shtml
The file was modified metadata/metadata (diff)
The file was modified web/entries/Dependent_SIFUM_Type_Systems.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 6832:4c569fee4739 by paulson _lp15@cam.ac.uk_:
new entry Dependent_SIFUM_Refinement
The file was addedthys/Dependent_SIFUM_Refinement/CompositionalRefinement.thy
The file was addedthys/Dependent_SIFUM_Refinement/Examples/Eg1.thy
The file was addedthys/Dependent_SIFUM_Refinement/Examples/Eg1Eg2.thy
The file was addedthys/Dependent_SIFUM_Refinement/Examples/Eg1Eg2RefinementSimple.thy
The file was addedthys/Dependent_SIFUM_Refinement/Examples/Eg1RefinementTrivial.thy
The file was addedthys/Dependent_SIFUM_Refinement/Examples/Eg2.thy
The file was addedthys/Dependent_SIFUM_Refinement/Examples/EgHighBranchRevC.thy
The file was addedthys/Dependent_SIFUM_Refinement/ROOT
The file was addedthys/Dependent_SIFUM_Refinement/document/root.bib
The file was addedthys/Dependent_SIFUM_Refinement/document/root.tex
Changeset 6831:c0710befa72f by paulson _lp15@cam.ac.uk_:
updated documentation: no more config files
The file was modified doc/editors/new-entry-checkin.md (diff)
The file was modified thys/ROOTS (diff)
Changeset 6830:f4719470cafa by gerwin.klein@nicta.com.au:
Computer Networks -> Networks
The file was modified metadata/metadata (diff)
The file was modified metadata/topics (diff)
The file was modified web/topics.shtml (diff)
Changeset 6829:98fc441d4f9a by gerwin.klein@nicta.com.au:
new entry IP_Addresses
The file was addedthys/IP_Addresses/CIDR_Split.thy
The file was addedthys/IP_Addresses/Hs_Compat.thy
The file was addedthys/IP_Addresses/IP_Address.thy
The file was addedthys/IP_Addresses/IP_Address_Parser.thy
The file was addedthys/IP_Addresses/IP_Address_toString.thy
The file was addedthys/IP_Addresses/IPv4.thy
The file was addedthys/IP_Addresses/IPv6.thy
The file was addedthys/IP_Addresses/Lib_List_toString.thy
The file was addedthys/IP_Addresses/Lib_Numbers_toString.thy
The file was addedthys/IP_Addresses/Lib_Word_toString.thy
The file was addedthys/IP_Addresses/NumberWang_IPv4.thy
The file was addedthys/IP_Addresses/NumberWang_IPv6.thy
The file was addedthys/IP_Addresses/Prefix_Match.thy
The file was addedthys/IP_Addresses/ROOT
The file was addedthys/IP_Addresses/WordInterval.thy
The file was addedthys/IP_Addresses/WordInterval_Sorted.thy
The file was addedthys/IP_Addresses/Word_More.thy
The file was addedthys/IP_Addresses/Word_Next.thy
The file was addedthys/IP_Addresses/document/root.tex
The file was addedweb/entries/IP_Addresses.shtml
The file was modified metadata/metadata (diff)
The file was modified metadata/topics (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/entries/Automatic_Refinement.shtml (diff)
The file was modified web/entries/Word_Lib.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)