src/HOL/Import/ROOT.ML

recoded latin1 as utf8;
use textcomp for some text symbols where it appears appropriate;

(*  Title:      HOL/Import/ROOT.ML
    Author:     Sebastian Skalberg (TU Muenchen)
*)

use_thys ["HOL4Compat", "HOL4Syntax"];