global.cmi: top_variant_types.cmo 
isabelle_pretty.cmi: top_classtypes.cmo top_variant_types.cmo 
logic_util.cmi: top_variant_types.cmo 
name_space.cmi: top_variant_types.cmo 
parser_util.cmi: top_classes.cmo top_variant_types.cmo 
pvs_batch.cmi: top_classtypes.cmo 
pvs_pretty.cmi: top_classtypes.cmo top_variant_types.cmo 
pvs_proof_util.cmi: top_variant_types.cmo 
top_names.cmi: top_variant_types.cmo 
error.cmo: global.cmi top_variant_types.cmo 
error.cmx: global.cmx top_variant_types.cmx 
formatter.cmo: formatter.cmi 
formatter.cmx: formatter.cmi 
global.cmo: top_variant_types.cmo util.cmi global.cmi 
global.cmx: top_variant_types.cmx util.cmx global.cmi 
isabelle_pretty.cmo: formatter.cmi pretty_util.cmo top_names.cmi \
    top_variant_types.cmo top_variant_types_util.cmo util.cmi \
    isabelle_pretty.cmi 
isabelle_pretty.cmx: formatter.cmx pretty_util.cmx top_names.cmx \
    top_variant_types.cmx top_variant_types_util.cmx util.cmx \
    isabelle_pretty.cmi 
logic_util.cmo: global.cmi top_names.cmi top_variant_types.cmo \
    top_variant_types_util.cmo util.cmi logic_util.cmi 
logic_util.cmx: global.cmx top_names.cmx top_variant_types.cmx \
    top_variant_types_util.cmx util.cmx logic_util.cmi 
name_space.cmo: logic_util.cmi top_variant_types.cmo util.cmi name_space.cmi 
name_space.cmx: logic_util.cmx top_variant_types.cmx util.cmx name_space.cmi 
parser_util.cmo: global.cmi top_classes.cmo top_variant_types.cmo \
    top_variant_types_util.cmo parser_util.cmi 
parser_util.cmx: global.cmx top_classes.cmx top_variant_types.cmx \
    top_variant_types_util.cmx parser_util.cmi 
pretty_util.cmo: formatter.cmi 
pretty_util.cmx: formatter.cmx 
pvs_batch.cmo: global.cmi top_variant_types.cmo util.cmi pvs_batch.cmi 
pvs_batch.cmx: global.cmx top_variant_types.cmx util.cmx pvs_batch.cmi 
pvs_pretty.cmo: formatter.cmi pretty_util.cmo top_names.cmi \
    top_variant_types.cmo top_variant_types_util.cmo util.cmi pvs_pretty.cmi 
pvs_pretty.cmx: formatter.cmx pretty_util.cmx top_names.cmx \
    top_variant_types.cmx top_variant_types_util.cmx util.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: formatter.cmi global.cmi isabelle_pretty.cmi pvs_pretty.cmi \
    top_variant_types.cmo util.cmi 
syntax.cmx: formatter.cmx global.cmx isabelle_pretty.cmx pvs_pretty.cmx \
    top_variant_types.cmx util.cmx 
table.cmo: util.cmi table.cmi 
table.cmx: util.cmx table.cmi 
top_classes.cmo: global.cmi table.cmi top_classtypes.cmo top_names.cmi \
    top_variant_types.cmo top_variant_types_util.cmo util.cmi 
top_classes.cmx: global.cmx table.cmx top_classtypes.cmx top_names.cmx \
    top_variant_types.cmx top_variant_types_util.cmx util.cmx 
top_classtypes.cmo: top_variant_types.cmo util.cmi 
top_classtypes.cmx: top_variant_types.cmx util.cmx 
top_names.cmo: global.cmi top_variant_types.cmo util.cmi top_names.cmi 
top_names.cmx: global.cmx top_variant_types.cmx util.cmx top_names.cmi 
top_variant_types.cmo: table.cmi type_variable.cmi 
top_variant_types.cmx: table.cmx type_variable.cmx 
top_variant_types_util.cmo: top_variant_types.cmo type_variable.cmi util.cmi 
top_variant_types_util.cmx: top_variant_types.cmx type_variable.cmx util.cmx 
type_variable.cmo: type_variable.cmi 
type_variable.cmx: type_variable.cmi 
util.cmo: util.cmi 
util.cmx: util.cmi 
