session Bar in "~~/test/Tools/isac/ADDTESTS/session-get_theory" = Pure +

   description {*

     Trial to make the theory loader able to 'Thy_Info.get_theory "Bar"' in Foo.thy.

     This only works if ~~/ROOTS is extended by a session created with

       ./bin/isabelle build -d test/Tools/isac/ADDTESTS/session-get_theory/ -v -b Bar

     See https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2013-September/msg00060.html.

   *}

   options [document = false]

   theories Bar