Summary
- Fixed for renamed theorems, etc.
- rename and simplify
- repair the optimization on chars when generating a deep-certificate
- merge from afp-2016
- point to bitbucket instead of SF
- merge from afp-2016
- new submission system
- new submission system
- merged
- missing AFP
- PropResPI webpage
- new entry PropResPI
- new article Timed-Automata
- tuned
- new entry Cartan_FP
- New entry LTL
- update links to older (2015) releases
- added missing List_Update entry page
- import List_Update from afp-devel
- record 2015 releases, bump Isabelle version to 2016
- website to release mode (afp-2016)
- unified CHAR with CHR syntax
- adapted to recent Multiset change