language.vo language.glob: language.v ../../msl/eq_dec.vo
fo_seplogic.vo fo_seplogic.glob: fo_seplogic.v ../../msl/msl_direct.vo language.vo
seplogic.vo seplogic.glob: seplogic.v ../../msl/msl_standard.vo language.vo
frac_seplogic.vo frac_seplogic.glob: frac_seplogic.v language.vo ../../msl/msl_direct.vo ../../msl/env.vo
corec_example.vo corec_example.glob: corec_example.v ../../msl/msl_direct.vo
