Summary
- WebAssembly: disable failing OCaml check
- BNF_CC: update to latest Isabelle syntax
- WebAssembly: update to latest Isabelle syntax
- merged from afp-2017
- New entry WebAssembly
- missing chapter
- new entry: BNF_CC
- The actual new entry Fishburn_Impossibility
- New entry Fishburn_Impossibility