1.1 --- a/src/Tools/isac/ROOT	Sat Apr 03 15:27:52 2021 +0200
     1.2 +++ b/src/Tools/isac/ROOT	Sun Apr 04 12:29:42 2021 +0200
     1.3 @@ -11,22 +11,29 @@
     1.4  # file:///home/wneuper/.isabelle/isabisac/browser_info/Unsorted/Isac/session_graph.pdf
     1.5  *)
     1.6  
     1.7 -(* run "./bin/isabelle build -v -b Interpret" *)
     1.8 -session Interpret in Interpret = "HOL-SPARK" +
     1.9 +(* run "./bin/isabelle build -v -b Specify" *)
    1.10 +session Specify in Specify = "HOL-SPARK" +
    1.11    description "
    1.12 -    Session covering code required for ~~/src/Tools/isac/Doc.
    1.13 +    Session covering code required for ~~/src/Tools/isac/Doc/Specify_Phase
    1.14    "
    1.15    options [document = false (** ), browser_info = true( **)]
    1.16    directories
    1.17      "../BaseDefinitions"
    1.18      "../ProgLang"
    1.19      "../MathEngBasic"
    1.20 -    "../Specify"
    1.21    theories
    1.22      "../BaseDefinitions/BaseDefinitions"
    1.23      "../ProgLang/ProgLang"
    1.24      "../MathEngBasic/MathEngBasic"
    1.25 -    "../Specify/Specify"
    1.26 +    "Specify"
    1.27 +
    1.28 +(* run "./bin/isabelle build -v -b Interpret" *)
    1.29 +session Interpret in Interpret = Specify +
    1.30 +  description "
    1.31 +    Session covering code required for ~~/src/Tools/isac/Doc/Lucas_Interpreter
    1.32 +  "
    1.33 +  options [document = false (** ), browser_info = true( **)]
    1.34 +  theories
    1.35      "Interpret"
    1.36  
    1.37  (* run "./bin/isabelle build -v -b Isac"  *)