#263 (Jun 18, 2016, 5:53:11 AM)

1. regenerated website (detail / hgweb)
2. update Word_Lib to isabelle df655e33995c (detail / hgweb)
3. merged from afp-2016 (detail / hgweb)
4. modifications to the previous entry (Noninterference_Sequential_Composition) as requested by author (detail / hgweb)
5. Noninterference_Concurrent_Composition webpage (detail / hgweb)
6. new entry Noninterference_Concurrent_Composition (detail / hgweb)
7. tuned (detail / hgweb)
8. New entry Word_Lib (detail / hgweb)

Started by an SCM change