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: evince ~/.isabelle/isabisac/browser_info/Unsorted/Isac/session_graph.pdf & or at evince /home/wneuper/.isabelle/isabisacREP/browser_info/Unsorted/Isac/session_graph.pdf &