adt_theory.cmi: classtypes.cmo 
attribute_pass.cmi: classtypes.cmo ../Common/top_variant_types.cmo 
behavioural.cmi: classtypes.cmo 
bisim_theory.cmi: classtypes.cmo 
ccsl_pretty.cmi: classtypes.cmo ../Common/top_variant_types.cmo 
class_methods.cmi: classtypes.cmo 
class_theorems_theory.cmi: classtypes.cmo 
component_pass.cmi: classtypes.cmo ../Common/top_variant_types.cmo 
derive.cmi: classtypes.cmo ../Common/top_variant_types.cmo 
emptytype_theory.cmi: classtypes.cmo 
feature.cmi: classtypes.cmo 
full_liftings_theory.cmi: classtypes.cmo 
iface_class.cmi: classtypes.cmo ../Common/top_variant_types.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 
member_class.cmi: 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 
names.cmi: ../Common/top_variant_types.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 ../Common/top_variant_types.cmo 
semantics_theory.cmi: classtypes.cmo 
sig_theory.cmi: classtypes.cmo 
substitution.cmi: classtypes.cmo ../Common/top_variant_types.cmo 
symbol.cmi: classtypes.cmo ../Common/top_variant_types.cmo 
types_util.cmi: classtypes.cmo ../Common/top_variant_types.cmo \
    ../Common/type_variable.cmi 
variance.cmi: classtypes.cmo ../Common/top_variant_types.cmo 
abstract_lexer.cmo: ../Common/error.cmi ../Common/global.cmi \
    ../Common/parser_util.cmi ../Common/util.cmi abstract_lexer.cmi 
abstract_lexer.cmx: ../Common/error.cmx ../Common/global.cmx \
    ../Common/parser_util.cmx ../Common/util.cmx abstract_lexer.cmi 
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.cmi member_class.cmi \
    ../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 
behavioural.cmo: classtypes.cmo ../Common/error.cmi ../Common/global.cmi \
    ../Common/top_variant_types.cmo types_util.cmi ../Common/util.cmi \
    behavioural.cmi 
behavioural.cmx: classtypes.cmx ../Common/error.cmx ../Common/global.cmx \
    ../Common/top_variant_types.cmx types_util.cmx ../Common/util.cmx \
    behavioural.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.cmi ../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 
class_methods.cmo: classtypes.cmo ../Common/error.cmi \
    ../Common/logic_util.cmi member_class.cmi names.cmi \
    ../Common/top_names.cmi ../Common/top_variant_types.cmo \
    ../Common/type_variable.cmi types_util.cmi ../Common/util.cmi \
    class_methods.cmi 
class_methods.cmx: classtypes.cmx ../Common/error.cmx \
    ../Common/logic_util.cmx member_class.cmx names.cmx \
    ../Common/top_names.cmx ../Common/top_variant_types.cmx \
    ../Common/type_variable.cmx types_util.cmx ../Common/util.cmx \
    class_methods.cmi 
class_theorems_theory.cmo: classtypes.cmo ../Common/global.cmi \
    ../Common/name_space.cmi names.cmi pre_printing.cmi theory_class.cmo \
    ../Common/top_variant_types.cmo types_util.cmi ../Common/util.cmi \
    class_theorems_theory.cmi 
class_theorems_theory.cmx: classtypes.cmx ../Common/global.cmx \
    ../Common/name_space.cmx names.cmx pre_printing.cmx theory_class.cmx \
    ../Common/top_variant_types.cmx types_util.cmx ../Common/util.cmx \
    class_theorems_theory.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 
derive.cmo: ccsl_pretty.cmi classtypes.cmo ../Common/error.cmi \
    ../Common/global.cmi symbol.cmi ../Common/top_variant_types.cmo \
    ../Common/top_variant_types_util.cmi ../Common/type_variable.cmi \
    types_util.cmi ../Common/util.cmi derive.cmi 
derive.cmx: ccsl_pretty.cmx classtypes.cmx ../Common/error.cmx \
    ../Common/global.cmx symbol.cmx ../Common/top_variant_types.cmx \
    ../Common/top_variant_types_util.cmx ../Common/type_variable.cmx \
    types_util.cmx ../Common/util.cmx derive.cmi 
emptytype_theory.cmo: classtypes.cmo iface_class.cmi ../Common/name_space.cmi \
    names.cmi ../Common/pvs_proof_util.cmi symbol.cmi theory_class.cmo \
    ../Common/top_names.cmi ../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_names.cmx ../Common/top_variant_types.cmx types_util.cmx \
    emptytype_theory.cmi 
feature.cmo: classtypes.cmo component_pass.cmi ../Common/error.cmi \
    ../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 class_theorems_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 sig_theory.cmi \
    symbol.cmi ../Common/table.cmi ../Common/top_classes.cmi \
    ../Common/top_names.cmi ../Common/top_variant_types.cmo \
    ../Common/top_variant_types_util.cmi types_util.cmi ../Common/util.cmi \
    iface_class.cmi 
iface_class.cmx: adt_theory.cmx bisim_theory.cmx class_theorems_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 sig_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 \
    iface_class.cmi 
inherit.cmo: classtypes.cmo ../Common/error.cmi ../Common/global.cmi \
    member_class.cmi substitution.cmi ../Common/top_variant_types.cmo \
    ../Common/top_variant_types_util.cmi types_util.cmi ../Common/util.cmi \
    inherit.cmi 
inherit.cmx: classtypes.cmx ../Common/error.cmx ../Common/global.cmx \
    member_class.cmx substitution.cmx ../Common/top_variant_types.cmx \
    ../Common/top_variant_types_util.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 ../Common/pvs_proof_util.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 ../Common/pvs_proof_util.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/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/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.cmi 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: abstract_lexer.cmi attribute_pass.cmi behavioural.cmi \
    class_methods.cmi classtypes.cmo component_pass.cmi derive.cmi \
    emptytype_theory.cmi ../Common/error.cmi feature.cmi ../Common/global.cmi \
    inherit.cmi newtypecheck.cmi ../Common/pvs_batch.cmi resolution.cmi \
    symbol.cmi ../Common/syntax.cmo ../Common/top_classes.cmi \
    ../Common/top_names.cmi ../Common/top_variant_types.cmo \
    ../Common/top_variant_types_util.cmi ../Common/type_variable.cmi \
    ../Common/util.cmi variance.cmi 
main.cmx: abstract_lexer.cmx attribute_pass.cmx behavioural.cmx \
    class_methods.cmx classtypes.cmx component_pass.cmx derive.cmx \
    emptytype_theory.cmx ../Common/error.cmx feature.cmx ../Common/global.cmx \
    inherit.cmx newtypecheck.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.cmi \
    ../Common/top_variant_types.cmo types_util.cmi ../Common/util.cmi \
    member_class.cmi 
member_class.cmx: classtypes.cmx symbol.cmx ../Common/top_classes.cmx \
    ../Common/top_variant_types.cmx types_util.cmx ../Common/util.cmx \
    member_class.cmi 
methodinv_theory.cmo: classtypes.cmo ../Common/global.cmi lifting.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/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 \
    ../Common/pvs_proof_util.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 \
    ../Common/pvs_proof_util.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 derive.cmi \
    ../Common/error.cmi ../Common/global.cmi names.cmi resolution.cmi \
    symbol.cmi ../Common/table.cmi ../Common/top_variant_types.cmo \
    types_util.cmi newtypecheck.cmi 
newtypecheck.cmx: ccsl_pretty.cmx classtypes.cmx derive.cmx \
    ../Common/error.cmx ../Common/global.cmx names.cmx resolution.cmx \
    symbol.cmx ../Common/table.cmx ../Common/top_variant_types.cmx \
    types_util.cmx newtypecheck.cmi 
parser.cmo: ccsl_pretty.cmi classtypes.cmo ../Common/error.cmi \
    ../Common/global.cmi iface_class.cmi member_class.cmi names.cmi \
    ../Common/parser_util.cmi substitution.cmi symbol.cmi ../Common/table.cmi \
    ../Common/top_variant_types.cmo ../Common/top_variant_types_util.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 \
    types_util.cmx ../Common/util.cmx parser.cmi 
pre_printing.cmo: ../Common/error.cmi ../Common/global.cmi names.cmi \
    ../Common/top_variant_types.cmo ../Common/top_variant_types_util.cmi \
    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.cmi \
    ../Common/global.cmi parser.cmi symbol.cmi ../Common/table.cmi \
    ../Common/top_variant_types.cmo ../Common/top_variant_types_util.cmi \
    ../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 parser.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/name_space.cmi names.cmi pre_printing.cmi \
    ../Common/pvs_pretty.cmi ../Common/pvs_proof_util.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/name_space.cmx names.cmx pre_printing.cmx \
    ../Common/pvs_pretty.cmx ../Common/pvs_proof_util.cmx theory_class.cmx \
    ../Common/top_variant_types.cmx types_util.cmx ../Common/util.cmx \
    semantics_theory.cmi 
sig_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 sig_theory.cmi 
sig_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 sig_theory.cmi 
substitution.cmo: iface_class.cmi member_class.cmi symbol.cmi \
    ../Common/table.cmi ../Common/top_variant_types.cmo types_util.cmi \
    ../Common/util.cmi substitution.cmi 
substitution.cmx: iface_class.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/logic_util.cmi \
    ../Common/name_space.cmi names.cmi symbol.cmi ../Common/top_classes.cmi \
    ../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/logic_util.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 
types_util.cmo: classtypes.cmo ../Common/global.cmi ../Common/logic_util.cmi \
    ../Common/top_variant_types.cmo ../Common/top_variant_types_util.cmi \
    ../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.cmi \
    ../Common/global.cmi ../Common/logic_util.cmi \
    ../Common/top_variant_types.cmo types_util.cmi ../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 types_util.cmx ../Common/util.cmx \
    variance.cmi 
variant_types.cmo: ../Common/top_variant_types.cmo 
variant_types.cmx: ../Common/top_variant_types.cmx 
