diff options
Diffstat (limited to 'theories/Num/.depend')
| -rw-r--r-- | theories/Num/.depend | 72 |
1 files changed, 0 insertions, 72 deletions
diff --git a/theories/Num/.depend b/theories/Num/.depend deleted file mode 100644 index e231ff802..000000000 --- a/theories/Num/.depend +++ /dev/null @@ -1,72 +0,0 @@ -SubProps.vo: SubProps.v -SubProps.vi: SubProps.v -Params.vo: Params.v -Params.vi: Params.v -OppProps.vo: OppProps.v -OppProps.vi: OppProps.v -OppAxioms.vo: OppAxioms.v -OppAxioms.vi: OppAxioms.v -NeqProps.vo: NeqProps.v NeqParams.vo NeqAxioms.vo EqParams.vo EqAxioms.vo -NeqProps.vi: NeqProps.v NeqParams.vo NeqAxioms.vo EqParams.vo EqAxioms.vo -NeqParams.vo: NeqParams.v Params.vo -NeqParams.vi: NeqParams.v Params.vo -NeqDef.vo: NeqDef.v Params.vo EqParams.vo -NeqDef.vi: NeqDef.v Params.vo EqParams.vo -NeqAxioms.vo: NeqAxioms.v EqParams.vo NeqParams.vo -NeqAxioms.vi: NeqAxioms.v EqParams.vo NeqParams.vo -NatSyntax.vo: NatSyntax.v -NatSyntax.vi: NatSyntax.v -NSyntax.vo: NSyntax.v Params.vo -NSyntax.vi: NSyntax.v Params.vo -LtProps.vo: LtProps.v Axioms.vo AddProps.vo -LtProps.vi: LtProps.v Axioms.vo AddProps.vo -LeProps.vo: LeProps.v LtProps.vo LeAxioms.vo -LeProps.vi: LeProps.v LtProps.vo LeAxioms.vo -LeAxioms.vo: LeAxioms.v Axioms.vo LtProps.vo -LeAxioms.vi: LeAxioms.v Axioms.vo LtProps.vo -GtProps.vo: GtProps.v -GtProps.vi: GtProps.v -GtAxioms.vo: GtAxioms.v Axioms.vo LeProps.vo -GtAxioms.vi: GtAxioms.v Axioms.vo LeProps.vo -GeProps.vo: GeProps.v -GeProps.vi: GeProps.v -GeAxioms.vo: GeAxioms.v Axioms.vo LtProps.vo -GeAxioms.vi: GeAxioms.v Axioms.vo LtProps.vo -EqParams.vo: EqParams.v Params.vo -EqParams.vi: EqParams.v Params.vo -EqAxioms.vo: EqAxioms.v Params.vo EqParams.vo NSyntax.vo -EqAxioms.vi: EqAxioms.v Params.vo EqParams.vo NSyntax.vo -DiscrProps.vo: DiscrProps.v DiscrAxioms.vo LtProps.vo -DiscrProps.vi: DiscrProps.v DiscrAxioms.vo LtProps.vo -DiscrAxioms.vo: DiscrAxioms.v Params.vo NSyntax.vo -DiscrAxioms.vi: DiscrAxioms.v Params.vo NSyntax.vo -Definitions.vo: Definitions.v -Definitions.vi: Definitions.v -Axioms.vo: Axioms.v Params.vo EqParams.vo NSyntax.vo -Axioms.vi: Axioms.v Params.vo EqParams.vo NSyntax.vo -AddProps.vo: AddProps.v Axioms.vo EqAxioms.vo NeqProps.vo -AddProps.vi: AddProps.v Axioms.vo EqAxioms.vo NeqProps.vo -SubProps.html: SubProps.v -Params.html: Params.v -OppProps.html: OppProps.v -OppAxioms.html: OppAxioms.v -NeqProps.html: NeqProps.v NeqParams.html NeqAxioms.html EqParams.html EqAxioms.html -NeqParams.html: NeqParams.v Params.html -NeqDef.html: NeqDef.v Params.html EqParams.html -NeqAxioms.html: NeqAxioms.v EqParams.html NeqParams.html -NatSyntax.html: NatSyntax.v -NSyntax.html: NSyntax.v Params.html -LtProps.html: LtProps.v Axioms.html AddProps.html -LeProps.html: LeProps.v LtProps.html LeAxioms.html -LeAxioms.html: LeAxioms.v Axioms.html LtProps.html -GtProps.html: GtProps.v -GtAxioms.html: GtAxioms.v Axioms.html LeProps.html -GeProps.html: GeProps.v -GeAxioms.html: GeAxioms.v Axioms.html LtProps.html -EqParams.html: EqParams.v Params.html -EqAxioms.html: EqAxioms.v Params.html EqParams.html NSyntax.html -DiscrProps.html: DiscrProps.v DiscrAxioms.html LtProps.html -DiscrAxioms.html: DiscrAxioms.v Params.html NSyntax.html -Definitions.html: Definitions.v -Axioms.html: Axioms.v Params.html EqParams.html NSyntax.html -AddProps.html: AddProps.v Axioms.html EqAxioms.html NeqProps.html |