Isabelle2020->21: declare "thy_load (isac_example)" to Scala, partially

would involve IntelliJ IDEA;
see https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2021-March/msg00047.html

src/Pure

src/FOL

src/HOL

src/ZF

src/CCL

src/CTT

src/Cube

src/FOLP

src/LCF

src/Sequents

src/Doc

src/Tools

src/Tools/isac

test/Tools/isac/ADDTESTS/session-get_theory/