src/Pure/PIDE/protocol.ML

        Isabelle_Process.init_options_interactive ()));
 
 val _ =
   Isabelle_Process.protocol_command "Prover.init_session_base"
     (fn [session_positions_yxml, session_directories_yxml, doc_names_yxml, global_theories_yxml,
-          loaded_theories_yxml, known_theories_yxml] =>
+          loaded_theories_yxml] =>
       let
         val decode_table = YXML.parse_body #> let open XML.Decode in list (pair string string) end;
         val decode_list = YXML.parse_body #> let open XML.Decode in list string end;
         val decode_sessions =
           YXML.parse_body #> let open XML.Decode in list (pair string properties) end;

         Resources.init_session_base
           {session_positions = decode_sessions session_positions_yxml,
            session_directories = decode_table session_directories_yxml,
            docs = decode_list doc_names_yxml,
            global_theories = decode_table global_theories_yxml,
-           loaded_theories = decode_list loaded_theories_yxml,
-           known_theories = decode_table known_theories_yxml}
+           loaded_theories = decode_list loaded_theories_yxml}
       end);
 
 val _ =
   Isabelle_Process.protocol_command "Document.define_blob"
     (fn [digest, content] => Document.change_state (Document.define_blob digest content));