-
wenzelm authored
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;
d7b4f45e07a9
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;