_CoqProject

-Q theories/Semantics Semantics

-arg -w -arg -future-coercion-class-field

theories/Semantics/Utils/GoedelBeta.v
theories/Semantics/Utils/SetsExtras.v

theories/Semantics/IMP/Syntax.v
theories/Semantics/IMP/State.v
theories/Semantics/IMP/Eval.v
theories/Semantics/IMP/BigStep.v
theories/Semantics/IMP/SmallStep.v
theories/Semantics/IMP/Denotational.v
theories/Semantics/IMP/Algebraic.v
theories/Semantics/IMP/Axiomatic.v
theories/Semantics/IMP/AxiomaticCompleteness.v

theories/Semantics/FOL/Syntax.v
theories/Semantics/FOL/Semantics.v

theories/Semantics/PROLOG/Syntax.v
theories/Semantics/PROLOG/Semantics.v