Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. regenerated website
  2. update Word_Lib to isabelle df655e33995c
  3. merged from afp-2016
  4. modifications to the previous entry (Noninterference_Sequential_Composition) as requested by author
  5. Noninterference_Concurrent_Composition webpage
  6. new entry Noninterference_Concurrent_Composition
  7. tuned
  8. New entry Word_Lib
Changeset 6781:d9f547f5b26d by kleing:
regenerated website
The file was modified web/entries/Applicative_Lifting.shtml (diff)
The file was modified web/entries/Cartan_FP.shtml (diff)
The file was modified web/index.shtml (diff)
Changeset 6780:8ecce525a9d3 by kleing:
update Word_Lib to isabelle df655e33995c
The file was modified thys/Word_Lib/HOL_Lemmas.thy (diff)
The file was modified thys/Word_Lib/Word_Lemmas.thy (diff)
The file was modified thys/Word_Lib/Word_Lemmas_64.thy (diff)
Changeset 6779:78d931b33043 by kleing:
merged from afp-2016
Changeset 6778:468798166298 by paulson _lp15@cam.ac.uk_:
modifications to the previous entry (Noninterference_Sequential_Composition) as requested by author
The file was modified metadata/metadata (diff)
The file was modified web/entries/Noninterference_Sequential_Composition.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 6777:7ce662fdbf5c by paulson _lp15@cam.ac.uk_:
Noninterference_Concurrent_Composition webpage
The file was addedweb/entries/Noninterference_Concurrent_Composition.shtml
The file was modified metadata/metadata (diff)
The file was modified web/entries/Noninterference_Sequential_Composition.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 6776:21236905c11a by paulson _lp15@cam.ac.uk_:
new entry Noninterference_Concurrent_Composition
The file was addedthys/Noninterference_Concurrent_Composition/ConcurrentComposition.thy
The file was addedthys/Noninterference_Concurrent_Composition/ROOT
The file was addedthys/Noninterference_Concurrent_Composition/document/root.bib
The file was addedthys/Noninterference_Concurrent_Composition/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 6775:ad0f1380ea7c by nipkow:
tuned
The file was modified metadata/metadata (diff)
The file was modified web/entries/Word_Lib.shtml (diff)
Changeset 6774:de229090c623 by nipkow:
New entry Word_Lib
The file was addedthys/Word_Lib/Aligned.thy
The file was addedthys/Word_Lib/Enumeration.thy
The file was addedthys/Word_Lib/HOL_Lemmas.thy
The file was addedthys/Word_Lib/Hex_Words.thy
The file was addedthys/Word_Lib/More_Divides.thy
The file was addedthys/Word_Lib/Norm_Words.thy
The file was addedthys/Word_Lib/ROOT
The file was addedthys/Word_Lib/Signed_Words.thy
The file was addedthys/Word_Lib/WordBitwise_Signed.thy
The file was addedthys/Word_Lib/Word_Enum.thy
The file was addedthys/Word_Lib/Word_Lemmas.thy
The file was addedthys/Word_Lib/Word_Lemmas_32.thy
The file was addedthys/Word_Lib/Word_Lemmas_64.thy
The file was addedthys/Word_Lib/Word_Lib.thy
The file was addedthys/Word_Lib/Word_Setup_32.thy
The file was addedthys/Word_Lib/Word_Setup_64.thy
The file was addedthys/Word_Lib/Word_Syntax.thy
The file was addedthys/Word_Lib/document/root.tex
The file was addedweb/entries/Word_Lib.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)