Summary
- merged
- OpSets: adapt to sorted changes
- merged
- Monad_Memo_DP: update syntax
- AxiomaticCategoryTheory: requires smt_oracle = true
- AximoaticCategoryTheory: syntax updates
- Monad_Memo_DP: Code_Char is gone
- merged from afp-2017
- Hidden_Markov_Models website
- new entry Hidden_Markov_Models
- Probabilistic_Timed_Automata webpage
- new entry Probabilistic_Timed_Automata
- added timeout in ROOT of OpSets
- metadata and sitegen for OpSets
- new entry: OpSets
- New entry AxiomaticCategoryTheory
- website for Monad_Memo_DP. Also fixed the ROOT file
- new entry Monad_Memo_DP