Summary
- merged
- prefer plain subscript syntax;
- session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -d '$AFP' -a -x Sepref_Basic -x Sepref_IICF -x Iptables_Semantics_Examples_Big;
- clarified parent session, in order to disentangle imports;
- clarified imports;
- clarified imports;
- clarified imports;