(* directories *)
#directory "../ocaml/cic"
#directory "../ocaml/cic_notation"
#directory "../ocaml/cic_omdoc"
#directory "../ocaml/cic_proof_checking"
#directory "../ocaml/cic_textual_parser2"
#directory "../ocaml/cic_transformations"
#directory "../ocaml/cic_unification"
#directory "../ocaml/getter"
#directory "../ocaml/hbugs"
#directory "../ocaml/mathql"
#directory "../ocaml/mathql_generator"
#directory "../ocaml/mathql_interpreter"
#directory "../ocaml/metadata"
#directory "../ocaml/paramodulation"
#directory "../ocaml/registry"
#directory "../ocaml/tactics"
#directory "../ocaml/thread"
#directory "../ocaml/urimanager"
#directory "../ocaml/xml"
#directory "../ocaml/xmldiff"

(* custom printers *)
#install_printer CicMetaSubst.fppsubst;;
#install_printer CicMetaSubst.fppterm;;
#install_printer CicMetaSubst.fppmetasenv;;

(* utility functions *)
let go = MatitacLib.go;;