Generate theory dependencies

Dependencies between theories in ISAC's code as well as in ISAC's Knowledge Base are concern of development issues. Isabelle provides tools for displaying these dependencies. Documentation/system.pdf contains respective details, search for browser_info.

Cheat sheet: Create dependency graph: $ ./bin/isabelle build -o browser_info -v -b Isac Find the graph at: ~/.isabelle/isabisac/browser_info/Unsorted/Isac/session_graph.pdf