***************
*** 95,100 ****
--- 95,106 ----
  loads "fusion.ml";;
  
  (* ------------------------------------------------------------------------- *)
+ (* OpenTheory proof logging.                                                 *)
+ (* ------------------------------------------------------------------------- *)
+ 
+ loads "logging.ml";;
+ 
+ (* ------------------------------------------------------------------------- *)
  (* Some extra support stuff needed outside the core.                         *)
  (* ------------------------------------------------------------------------- *)