1.1 --- a/src/Tools/isac/ROOT	Tue Mar 10 13:25:00 2020 +0100
     1.2 +++ b/src/Tools/isac/ROOT	Wed Mar 11 15:25:52 2020 +0100
     1.3 @@ -26,7 +26,7 @@
     1.4      Build_Isac
     1.5  
     1.6  (* run "./bin/isabelle build -v -b Lucas_Interpreter" *)
     1.7 -session Lucas_Interpreter = HOL +
     1.8 +session Interpret = HOL +
     1.9    description \<open>
    1.10      Session Isac restricted to code required for Lucas_Interpreter.
    1.11      "Lucas-Interpretation on Isabelle’s Functions"