1.1 --- a/src/Tools/isac/ROOT	Wed Nov 04 09:59:30 2020 +0100
     1.2 +++ b/src/Tools/isac/ROOT	Wed Nov 11 17:27:11 2020 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  *)
     1.5  
     1.6  (* run "./bin/isabelle build -v -b Interpret" *)
     1.7 -session Interpret in Interpret = HOL +
     1.8 +session Interpret in Interpret = "HOL-SPARK" +
     1.9    description "
    1.10      Session covering code required for ~~/src/Tools/isac/Doc.
    1.11    "
    1.12 @@ -30,7 +30,7 @@
    1.13      "Interpret"
    1.14  
    1.15  (* run "./bin/isabelle build -v -b Isac"  *)
    1.16 -session Isac = Interpret +
    1.17 +session Isac = Interpret + 
    1.18    description "
    1.19      Isac core, prototype of a math-engine and knowledge 
    1.20      for a TP-based educational mathematics assistant.