Summary
- merged from afp-2016-1
- new entry: Minimal_SSA
- Bertrands_Postulate website
- Bertrand’s Postulate
- add new session to ROOTS
- new entry by Manuel Eberl
- New entry: UPF_Firewall
- Password_Authentication_Protocol
- new entry Password_Authentication_Protocol
- New article: FOL_Harrison
- New entry: Concurrent_Ref_Alg
- Twelvefold_Way website
- Twelvefold_Way
- New entry: Proof_Strategy_Language