Changes

Summary

1. fixed $ite syntax in TPTP TFX generation
2. more Haskell operations;
3. merged
4. revert 0faa68dedce5: very slow;
5. tuned;
6. add/rename some theorems about Map(pings)
7. support configuration options "show_results";
8. consolidate_body more thoroughly, e.g. for reduced ML_Heap.obj_size;
9. merged
10. fixed $ite syntax in TPTP THX generation
11. tuned signature;
12. more scalable data structures;
13. more scalable data structures;
14. more scalable data structures; tuned;
15. proper position information for Context.theory_data_size;

Summary

1. tuned name
2. Fix typo
3. Tune references ... using new name of BD_Security_Compositional
4. Remove redundant license
5. more realistic timeout: approx. 5min CPU time;
6. cleaning up
7. New entry CoSMeDis
8. New entry CoSMed
9. New entry: BD_Security_Compositional
10. New entry: CoCon
11. updated to devel
12. merge from AFP 2021
13. New entry Fresh_Identifiers
14. New entry: Relational_Forests
15. cleaning up
16. merged
17. cleaning up
18. Update Bounded_Deducibility_Security - Generalise BD Security from I/O automata to nondeterministic transition systems, with the former retained as an instance of the latter (renaming locale BD_Security to BD_Security_IO) - Generalise unwinding conditions to allow making more than one transition at a time when constructing alternative traces, giving more flexibility for unwinding strategies - Add various helper lemmas and definitions - Add results about the expressivity of declassification triggers vs. bounds, due to Thomas Bauereiss (added as author)
19. tuned signature, following Isabelle/069f6b2c5a07;