adt_theory.cmi: classtypes.cmo 
attribute_pass.cmi: classtypes.cmo ../Common/top_variant_types.cmo 
bisim_theory.cmi: classtypes.cmo 
ccsl_pretty.cmi: classtypes.cmo ../Common/top_variant_types.cmo 
component_pass.cmi: classtypes.cmo ../Common/top_variant_types.cmo 
emptytype_theory.cmi: classtypes.cmo 
feature.cmi: classtypes.cmo 
full_liftings_theory.cmi: classtypes.cmo 
inherit.cmi: classtypes.cmo 
interface_theory.cmi: classtypes.cmo 
invariance_theory.cmi: classtypes.cmo 
lifting.cmi: classtypes.cmo ../Common/name_space.cmi \
    ../Common/top_classtypes.cmo ../Common/top_variant_types.cmo 
methodinv_theory.cmi: classtypes.cmo 
morphism.cmi: classtypes.cmo ../Common/top_classtypes.cmo \
    ../Common/top_variant_types.cmo 
morphism_theory.cmi: classtypes.cmo 
newtypecheck.cmi: classtypes.cmo 
parser.cmi: classtypes.cmo ../Common/top_variant_types.cmo 
pre_printing.cmi: classtypes.cmo types_util.cmi 
recurse.cmi: classtypes.cmo 
resolution.cmi: classtypes.cmo 
semantics_theory.cmi: classtypes.cmo 
substitution.cmi: classtypes.cmo ../Common/top_variant_types.cmo 
symbol.cmi: classtypes.cmo ../Common/top_variant_types.cmo 
typecheck.cmi: classtypes.cmo ../Common/error.cmo ../Common/global.cmi \
    ../Common/top_variant_types_util.cmo ../Common/util.cmi 
types_util.cmi: classtypes.cmo ../Common/top_variant_types.cmo \
    ../Common/type_variable.cmi 
variance.cmi: classtypes.cmo ../Common/top_variant_types.cmo 
adt_theory.cmo: classtypes.cmo ../Common/global.cmi lifting.cmi \
    ../Common/logic_util.cmi morphism.cmi ../Common/name_space.cmi names.cmi \
    theory_class.cmo ../Common/top_names.cmi ../Common/top_variant_types.cmo \
    types_util.cmi ../Common/util.cmi adt_theory.cmi 
adt_theory.cmx: classtypes.cmx ../Common/global.cmx lifting.cmx \
    ../Common/logic_util.cmx morphism.cmx ../Common/name_space.cmx names.cmx \
    theory_class.cmx ../Common/top_names.cmx ../Common/top_variant_types.cmx \
    types_util.cmx ../Common/util.cmx adt_theory.cmi 
attribute_pass.cmo: ../Common/error.cmo member_class.cmo \
    ../Common/name_space.cmi names.cmi ../Common/top_variant_types.cmo \
    types_util.cmi ../Common/util.cmi attribute_pass.cmi 
attribute_pass.cmx: ../Common/error.cmx member_class.cmx \
    ../Common/name_space.cmx names.cmx ../Common/top_variant_types.cmx \
    types_util.cmx ../Common/util.cmx attribute_pass.cmi 
bisim_theory.cmo: classtypes.cmo ../Common/global.cmi lifting.cmi \
    ../Common/logic_util.cmi ../Common/name_space.cmi names.cmi \
    theory_class.cmo ../Common/top_variant_types.cmo types_util.cmi \
    ../Common/util.cmi bisim_theory.cmi 
bisim_theory.cmx: classtypes.cmx ../Common/global.cmx lifting.cmx \
    ../Common/logic_util.cmx ../Common/name_space.cmx names.cmx \
    theory_class.cmx ../Common/top_variant_types.cmx types_util.cmx \
    ../Common/util.cmx bisim_theory.cmi 
ccsl_pretty.cmo: classtypes.cmo ../Common/formatter.cmi \
    ../Common/pretty_util.cmo ../Common/top_variant_types.cmo \
    ../Common/top_variant_types_util.cmo ../Common/type_variable.cmi \
    ../Common/util.cmi ccsl_pretty.cmi 
ccsl_pretty.cmx: classtypes.cmx ../Common/formatter.cmx \
    ../Common/pretty_util.cmx ../Common/top_variant_types.cmx \
    ../Common/top_variant_types_util.cmx ../Common/type_variable.cmx \
    ../Common/util.cmx ccsl_pretty.cmi 
classtypes.cmo: ../Common/name_space.cmi ../Common/table.cmi \
    ../Common/top_classtypes.cmo ../Common/top_variant_types.cmo 
classtypes.cmx: ../Common/name_space.cmx ../Common/table.cmx \
    ../Common/top_classtypes.cmx ../Common/top_variant_types.cmx 
component_pass.cmo: ../Common/top_variant_types.cmo types_util.cmi \
    ../Common/util.cmi component_pass.cmi 
component_pass.cmx: ../Common/top_variant_types.cmx types_util.cmx \
    ../Common/util.cmx component_pass.cmi 
emptytype_theory.cmo: classtypes.cmo iface_class.cmo ../Common/name_space.cmi \
    names.cmi ../Common/pvs_proof_util.cmi symbol.cmi theory_class.cmo \
    ../Common/top_variant_types.cmo types_util.cmi emptytype_theory.cmi 
emptytype_theory.cmx: classtypes.cmx iface_class.cmx ../Common/name_space.cmx \
    names.cmx ../Common/pvs_proof_util.cmx symbol.cmx theory_class.cmx \
    ../Common/top_variant_types.cmx types_util.cmx emptytype_theory.cmi 
feature.cmo: classtypes.cmo component_pass.cmi ../Common/error.cmo \
    ../Common/global.cmi ../Common/top_variant_types.cmo ../Common/util.cmi \
    variance.cmi feature.cmi 
feature.cmx: classtypes.cmx component_pass.cmx ../Common/error.cmx \
    ../Common/global.cmx ../Common/top_variant_types.cmx ../Common/util.cmx \
    variance.cmx feature.cmi 
full_liftings_theory.cmo: classtypes.cmo ../Common/global.cmi lifting.cmi \
    ../Common/logic_util.cmi ../Common/name_space.cmi names.cmi \
    theory_class.cmo ../Common/top_names.cmi ../Common/top_variant_types.cmo \
    types_util.cmi ../Common/util.cmi full_liftings_theory.cmi 
full_liftings_theory.cmx: classtypes.cmx ../Common/global.cmx lifting.cmx \
    ../Common/logic_util.cmx ../Common/name_space.cmx names.cmx \
    theory_class.cmx ../Common/top_names.cmx ../Common/top_variant_types.cmx \
    types_util.cmx ../Common/util.cmx full_liftings_theory.cmi 
iface_class.cmo: adt_theory.cmi bisim_theory.cmi classtypes.cmo \
    full_liftings_theory.cmi ../Common/global.cmi interface_theory.cmi \
    ../Common/logic_util.cmi methodinv_theory.cmi morphism_theory.cmi \
    names.cmi semantics_theory.cmi symbol.cmi ../Common/table.cmi \
    ../Common/top_classes.cmo ../Common/top_names.cmi \
    ../Common/top_variant_types.cmo ../Common/top_variant_types_util.cmo \
    types_util.cmi ../Common/util.cmi 
iface_class.cmx: adt_theory.cmx bisim_theory.cmx classtypes.cmx \
    full_liftings_theory.cmx ../Common/global.cmx interface_theory.cmx \
    ../Common/logic_util.cmx methodinv_theory.cmx morphism_theory.cmx \
    names.cmx semantics_theory.cmx symbol.cmx ../Common/table.cmx \
    ../Common/top_classes.cmx ../Common/top_names.cmx \
    ../Common/top_variant_types.cmx ../Common/top_variant_types_util.cmx \
    types_util.cmx ../Common/util.cmx 
inherit.cmo: classtypes.cmo ../Common/error.cmo ../Common/global.cmi \
    member_class.cmo names.cmi substitution.cmi \
    ../Common/top_variant_types.cmo ../Common/top_variant_types_util.cmo \
    ../Common/type_variable.cmi types_util.cmi ../Common/util.cmi inherit.cmi 
inherit.cmx: classtypes.cmx ../Common/error.cmx ../Common/global.cmx \
    member_class.cmx names.cmx substitution.cmx \
    ../Common/top_variant_types.cmx ../Common/top_variant_types_util.cmx \
    ../Common/type_variable.cmx types_util.cmx ../Common/util.cmx inherit.cmi 
interface_theory.cmo: classtypes.cmo ../Common/global.cmi \
    ../Common/logic_util.cmi ../Common/name_space.cmi names.cmi \
    pre_printing.cmi theory_class.cmo ../Common/top_names.cmi \
    ../Common/top_variant_types.cmo types_util.cmi ../Common/util.cmi \
    interface_theory.cmi 
interface_theory.cmx: classtypes.cmx ../Common/global.cmx \
    ../Common/logic_util.cmx ../Common/name_space.cmx names.cmx \
    pre_printing.cmx theory_class.cmx ../Common/top_names.cmx \
    ../Common/top_variant_types.cmx types_util.cmx ../Common/util.cmx \
    interface_theory.cmi 
invariance_theory.cmo: classtypes.cmo ../Common/global.cmi lifting.cmi \
    ../Common/logic_util.cmi ../Common/name_space.cmi names.cmi \
    ../Common/pvs_proof_util.cmi symbol.cmi theory_class.cmo \
    ../Common/top_classtypes.cmo ../Common/top_names.cmi \
    ../Common/top_variant_types.cmo types_util.cmi ../Common/util.cmi \
    invariance_theory.cmi 
invariance_theory.cmx: classtypes.cmx ../Common/global.cmx lifting.cmx \
    ../Common/logic_util.cmx ../Common/name_space.cmx names.cmx \
    ../Common/pvs_proof_util.cmx symbol.cmx theory_class.cmx \
    ../Common/top_classtypes.cmx ../Common/top_names.cmx \
    ../Common/top_variant_types.cmx types_util.cmx ../Common/util.cmx \
    invariance_theory.cmi 
lifting.cmo: ../Common/global.cmi ../Common/logic_util.cmi \
    ../Common/name_space.cmi names.cmi ../Common/top_variant_types.cmo \
    ../Common/top_variant_types_util.cmo types_util.cmi ../Common/util.cmi \
    lifting.cmi 
lifting.cmx: ../Common/global.cmx ../Common/logic_util.cmx \
    ../Common/name_space.cmx names.cmx ../Common/top_variant_types.cmx \
    ../Common/top_variant_types_util.cmx types_util.cmx ../Common/util.cmx \
    lifting.cmi 
main.cmo: attribute_pass.cmi classtypes.cmo component_pass.cmi \
    emptytype_theory.cmi ../Common/error.cmo feature.cmi ../Common/global.cmi \
    inherit.cmi names.cmi newtypecheck.cmi ../Common/parser_util.cmi \
    ../Common/pvs_batch.cmi resolution.cmi symbol.cmi ../Common/syntax.cmo \
    ../Common/top_classes.cmo ../Common/top_names.cmi \
    ../Common/top_variant_types.cmo ../Common/top_variant_types_util.cmo \
    ../Common/type_variable.cmi ../Common/util.cmi variance.cmi 
main.cmx: attribute_pass.cmx classtypes.cmx component_pass.cmx \
    emptytype_theory.cmx ../Common/error.cmx feature.cmx ../Common/global.cmx \
    inherit.cmx names.cmx newtypecheck.cmx ../Common/parser_util.cmx \
    ../Common/pvs_batch.cmx resolution.cmx symbol.cmx ../Common/syntax.cmx \
    ../Common/top_classes.cmx ../Common/top_names.cmx \
    ../Common/top_variant_types.cmx ../Common/top_variant_types_util.cmx \
    ../Common/type_variable.cmx ../Common/util.cmx variance.cmx 
member_class.cmo: classtypes.cmo symbol.cmi ../Common/top_classes.cmo \
    ../Common/top_variant_types.cmo types_util.cmi ../Common/util.cmi 
member_class.cmx: classtypes.cmx symbol.cmx ../Common/top_classes.cmx \
    ../Common/top_variant_types.cmx types_util.cmx ../Common/util.cmx 
methodinv_theory.cmo: classtypes.cmo ../Common/global.cmi lifting.cmi \
    ../Common/logic_util.cmi ../Common/name_space.cmi names.cmi \
    ../Common/pvs_proof_util.cmi theory_class.cmo \
    ../Common/top_classtypes.cmo ../Common/top_names.cmi \
    ../Common/top_variant_types.cmo types_util.cmi ../Common/util.cmi \
    methodinv_theory.cmi 
methodinv_theory.cmx: classtypes.cmx ../Common/global.cmx lifting.cmx \
    ../Common/logic_util.cmx ../Common/name_space.cmx names.cmx \
    ../Common/pvs_proof_util.cmx theory_class.cmx \
    ../Common/top_classtypes.cmx ../Common/top_names.cmx \
    ../Common/top_variant_types.cmx types_util.cmx ../Common/util.cmx \
    methodinv_theory.cmi 
morphism.cmo: classtypes.cmo ../Common/logic_util.cmi \
    ../Common/name_space.cmi names.cmi ../Common/top_variant_types.cmo \
    types_util.cmi ../Common/util.cmi morphism.cmi 
morphism.cmx: classtypes.cmx ../Common/logic_util.cmx \
    ../Common/name_space.cmx names.cmx ../Common/top_variant_types.cmx \
    types_util.cmx ../Common/util.cmx morphism.cmi 
morphism_theory.cmo: classtypes.cmo ../Common/global.cmi \
    ../Common/logic_util.cmi morphism.cmi ../Common/name_space.cmi names.cmi \
    theory_class.cmo ../Common/top_names.cmi ../Common/top_variant_types.cmo \
    types_util.cmi ../Common/util.cmi morphism_theory.cmi 
morphism_theory.cmx: classtypes.cmx ../Common/global.cmx \
    ../Common/logic_util.cmx morphism.cmx ../Common/name_space.cmx names.cmx \
    theory_class.cmx ../Common/top_names.cmx ../Common/top_variant_types.cmx \
    types_util.cmx ../Common/util.cmx morphism_theory.cmi 
names.cmo: ../Common/global.cmi ../Common/top_names.cmi \
    ../Common/top_variant_types.cmo names.cmi 
names.cmx: ../Common/global.cmx ../Common/top_names.cmx \
    ../Common/top_variant_types.cmx names.cmi 
newtypecheck.cmo: ccsl_pretty.cmi classtypes.cmo ../Common/error.cmo \
    ../Common/global.cmi names.cmi symbol.cmi ../Common/top_variant_types.cmo \
    ../Common/top_variant_types_util.cmo ../Common/type_variable.cmi \
    types_util.cmi ../Common/util.cmi newtypecheck.cmi 
newtypecheck.cmx: ccsl_pretty.cmx classtypes.cmx ../Common/error.cmx \
    ../Common/global.cmx names.cmx symbol.cmx ../Common/top_variant_types.cmx \
    ../Common/top_variant_types_util.cmx ../Common/type_variable.cmx \
    types_util.cmx ../Common/util.cmx newtypecheck.cmi 
parser.cmo: ccsl_pretty.cmi classtypes.cmo ../Common/error.cmo \
    ../Common/global.cmi iface_class.cmo member_class.cmo names.cmi \
    ../Common/parser_util.cmi substitution.cmi symbol.cmi ../Common/table.cmi \
    ../Common/top_variant_types.cmo ../Common/top_variant_types_util.cmo \
    ../Common/type_variable.cmi types_util.cmi ../Common/util.cmi parser.cmi 
parser.cmx: ccsl_pretty.cmx classtypes.cmx ../Common/error.cmx \
    ../Common/global.cmx iface_class.cmx member_class.cmx names.cmx \
    ../Common/parser_util.cmx substitution.cmx symbol.cmx ../Common/table.cmx \
    ../Common/top_variant_types.cmx ../Common/top_variant_types_util.cmx \
    ../Common/type_variable.cmx types_util.cmx ../Common/util.cmx parser.cmi 
pre_printing.cmo: ../Common/error.cmo ../Common/global.cmi names.cmi \
    ../Common/top_variant_types.cmo ../Common/top_variant_types_util.cmo \
    types_util.cmi ../Common/util.cmi pre_printing.cmi 
pre_printing.cmx: ../Common/error.cmx ../Common/global.cmx names.cmx \
    ../Common/top_variant_types.cmx ../Common/top_variant_types_util.cmx \
    types_util.cmx ../Common/util.cmx pre_printing.cmi 
recurse.cmo: classtypes.cmo ../Common/util.cmi recurse.cmi 
recurse.cmx: classtypes.cmx ../Common/util.cmx recurse.cmi 
resolution.cmo: ccsl_pretty.cmi classtypes.cmo ../Common/error.cmo \
    ../Common/global.cmi symbol.cmi ../Common/table.cmi \
    ../Common/top_variant_types.cmo ../Common/top_variant_types_util.cmo \
    ../Common/type_variable.cmi types_util.cmi ../Common/util.cmi \
    resolution.cmi 
resolution.cmx: ccsl_pretty.cmx classtypes.cmx ../Common/error.cmx \
    ../Common/global.cmx symbol.cmx ../Common/table.cmx \
    ../Common/top_variant_types.cmx ../Common/top_variant_types_util.cmx \
    ../Common/type_variable.cmx types_util.cmx ../Common/util.cmx \
    resolution.cmi 
semantics_theory.cmo: classtypes.cmo ../Common/global.cmi \
    ../Common/logic_util.cmi ../Common/name_space.cmi names.cmi \
    pre_printing.cmi theory_class.cmo ../Common/top_variant_types.cmo \
    types_util.cmi ../Common/util.cmi semantics_theory.cmi 
semantics_theory.cmx: classtypes.cmx ../Common/global.cmx \
    ../Common/logic_util.cmx ../Common/name_space.cmx names.cmx \
    pre_printing.cmx theory_class.cmx ../Common/top_variant_types.cmx \
    types_util.cmx ../Common/util.cmx semantics_theory.cmi 
substitution.cmo: iface_class.cmo ../Common/logic_util.cmi member_class.cmo \
    symbol.cmi ../Common/table.cmi ../Common/top_variant_types.cmo \
    types_util.cmi ../Common/util.cmi substitution.cmi 
substitution.cmx: iface_class.cmx ../Common/logic_util.cmx member_class.cmx \
    symbol.cmx ../Common/table.cmx ../Common/top_variant_types.cmx \
    types_util.cmx ../Common/util.cmx substitution.cmi 
symbol.cmo: classtypes.cmo ../Common/table.cmi \
    ../Common/top_variant_types.cmo types_util.cmi ../Common/util.cmi \
    symbol.cmi 
symbol.cmx: classtypes.cmx ../Common/table.cmx \
    ../Common/top_variant_types.cmx types_util.cmx ../Common/util.cmx \
    symbol.cmi 
theory_class.cmo: classtypes.cmo ../Common/name_space.cmi names.cmi \
    symbol.cmi ../Common/top_classes.cmo ../Common/top_classtypes.cmo \
    ../Common/top_names.cmi ../Common/top_variant_types.cmo types_util.cmi \
    ../Common/util.cmi 
theory_class.cmx: classtypes.cmx ../Common/name_space.cmx names.cmx \
    symbol.cmx ../Common/top_classes.cmx ../Common/top_classtypes.cmx \
    ../Common/top_names.cmx ../Common/top_variant_types.cmx types_util.cmx \
    ../Common/util.cmx 
typecheck.cmo: classtypes.cmo ../Common/error.cmo ../Common/global.cmi \
    substitution.cmi symbol.cmi ../Common/table.cmi \
    ../Common/top_variant_types.cmo ../Common/top_variant_types_util.cmo \
    types_util.cmi ../Common/util.cmi typecheck.cmi 
typecheck.cmx: classtypes.cmx ../Common/error.cmx ../Common/global.cmx \
    substitution.cmx symbol.cmx ../Common/table.cmx \
    ../Common/top_variant_types.cmx ../Common/top_variant_types_util.cmx \
    types_util.cmx ../Common/util.cmx typecheck.cmi 
types_util.cmo: classtypes.cmo ../Common/global.cmi ../Common/logic_util.cmi \
    ../Common/top_variant_types.cmo ../Common/top_variant_types_util.cmo \
    ../Common/type_variable.cmi ../Common/util.cmi types_util.cmi 
types_util.cmx: classtypes.cmx ../Common/global.cmx ../Common/logic_util.cmx \
    ../Common/top_variant_types.cmx ../Common/top_variant_types_util.cmx \
    ../Common/type_variable.cmx ../Common/util.cmx types_util.cmi 
variance.cmo: ccsl_pretty.cmi classtypes.cmo ../Common/error.cmo \
    ../Common/global.cmi ../Common/logic_util.cmi \
    ../Common/top_variant_types.cmo ../Common/util.cmi variance.cmi 
variance.cmx: ccsl_pretty.cmx classtypes.cmx ../Common/error.cmx \
    ../Common/global.cmx ../Common/logic_util.cmx \
    ../Common/top_variant_types.cmx ../Common/util.cmx variance.cmi 
variant_types.cmo: ../Common/top_variant_types.cmo 
variant_types.cmx: ../Common/top_variant_types.cmx 
