error.cmi: top_variant_types.cmo global.cmi 
global.cmi: top_variant_types.cmo 
isabelle_pretty.cmi: top_variant_types.cmo top_classtypes.cmo 
isar_pretty.cmi: top_variant_types.cmo top_classtypes.cmo 
logic_util.cmi: top_variant_types.cmo 
name_space.cmi: top_variant_types.cmo 
parser_util.cmi: top_variant_types.cmo 
pvs_batch.cmi: top_classtypes.cmo 
pvs_pretty.cmi: top_variant_types.cmo top_classtypes.cmo 
pvs_proof_util.cmi: top_variant_types.cmo 
top_classes.cmi: top_variant_types.cmo top_classtypes.cmo 
top_names.cmi: top_variant_types.cmo 
top_variant_types_util.cmi: top_variant_types.cmo 
config.cmo: config.cmi 
config.cmx: config.cmi 
error.cmo: top_variant_types.cmo global.cmi error.cmi 
error.cmx: top_variant_types.cmx global.cmx error.cmi 
formatter.cmo: formatter.cmi 
formatter.cmx: formatter.cmi 
global.cmo: util.cmi top_variant_types.cmo global.cmi 
global.cmx: util.cmx top_variant_types.cmx global.cmi 
isabelle_pretty.cmo: util.cmi top_variant_types_util.cmi \
    top_variant_types.cmo top_names.cmi pretty_util.cmo formatter.cmi \
    isabelle_pretty.cmi 
isabelle_pretty.cmx: util.cmx top_variant_types_util.cmx \
    top_variant_types.cmx top_names.cmx pretty_util.cmx formatter.cmx \
    isabelle_pretty.cmi 
isar_pretty.cmo: util.cmi top_variant_types_util.cmi top_variant_types.cmo \
    top_names.cmi pretty_util.cmo formatter.cmi isar_pretty.cmi 
isar_pretty.cmx: util.cmx top_variant_types_util.cmx top_variant_types.cmx \
    top_names.cmx pretty_util.cmx formatter.cmx isar_pretty.cmi 
logic_util.cmo: util.cmi top_variant_types_util.cmi top_variant_types.cmo \
    top_names.cmi global.cmi logic_util.cmi 
logic_util.cmx: util.cmx top_variant_types_util.cmx top_variant_types.cmx \
    top_names.cmx global.cmx logic_util.cmi 
name_space.cmo: util.cmi top_variant_types.cmo logic_util.cmi name_space.cmi 
name_space.cmx: util.cmx top_variant_types.cmx logic_util.cmx name_space.cmi 
parser_util.cmo: top_variant_types.cmo parser_util.cmi 
parser_util.cmx: top_variant_types.cmx parser_util.cmi 
pretty_util.cmo: formatter.cmi 
pretty_util.cmx: formatter.cmx 
pvs_batch.cmo: util.cmi top_variant_types.cmo global.cmi pvs_batch.cmi 
pvs_batch.cmx: util.cmx top_variant_types.cmx global.cmx pvs_batch.cmi 
pvs_pretty.cmo: util.cmi top_variant_types_util.cmi top_variant_types.cmo \
    top_names.cmi pretty_util.cmo formatter.cmi pvs_pretty.cmi 
pvs_pretty.cmx: util.cmx top_variant_types_util.cmx top_variant_types.cmx \
    top_names.cmx pretty_util.cmx formatter.cmx pvs_pretty.cmi 
pvs_proof_util.cmo: top_variant_types.cmo pvs_proof_util.cmi 
pvs_proof_util.cmx: top_variant_types.cmx pvs_proof_util.cmi 
syntax.cmo: util.cmi top_variant_types.cmo pvs_pretty.cmi isar_pretty.cmi \
    global.cmi formatter.cmi 
syntax.cmx: util.cmx top_variant_types.cmx pvs_pretty.cmx isar_pretty.cmx \
    global.cmx formatter.cmx 
table.cmo: util.cmi table.cmi 
table.cmx: util.cmx table.cmi 
top_classes.cmo: util.cmi top_variant_types_util.cmi top_variant_types.cmo \
    top_names.cmi top_classtypes.cmo global.cmi top_classes.cmi 
top_classes.cmx: util.cmx top_variant_types_util.cmx top_variant_types.cmx \
    top_names.cmx top_classtypes.cmx global.cmx top_classes.cmi 
top_classtypes.cmo: util.cmi top_variant_types.cmo 
top_classtypes.cmx: util.cmx top_variant_types.cmx 
top_names.cmo: util.cmi top_variant_types.cmo global.cmi top_names.cmi 
top_names.cmx: util.cmx top_variant_types.cmx global.cmx top_names.cmi 
top_variant_types.cmo: type_variable.cmi table.cmi 
top_variant_types.cmx: type_variable.cmx table.cmx 
top_variant_types_util.cmo: top_variant_types.cmo top_variant_types_util.cmi 
top_variant_types_util.cmx: top_variant_types.cmx top_variant_types_util.cmi 
type_variable.cmo: type_variable.cmi 
type_variable.cmx: type_variable.cmi 
util.cmo: util.cmi 
util.cmx: util.cmi 
