diff options
Diffstat (limited to 'theories/Num/Nat/.depend')
| -rw-r--r-- | theories/Num/Nat/.depend | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/theories/Num/Nat/.depend b/theories/Num/Nat/.depend new file mode 100644 index 000000000..8e81ee7c9 --- /dev/null +++ b/theories/Num/Nat/.depend @@ -0,0 +1,15 @@ +Params.vo: Params.v +Params.vi: Params.v +NeqDef.vo: NeqDef.v Params.vo +NeqDef.vi: NeqDef.v Params.vo +NSyntax.vo: NSyntax.v +NSyntax.vi: NSyntax.v +EqAxioms.vo: EqAxioms.v NSyntax.vo +EqAxioms.vi: EqAxioms.v NSyntax.vo +Axioms.vo: Axioms.v Params.vo NSyntax.vo +Axioms.vi: Axioms.v Params.vo NSyntax.vo +Params.html: Params.v +NeqDef.html: NeqDef.v Params.html +NSyntax.html: NSyntax.v +EqAxioms.html: EqAxioms.v NSyntax.html +Axioms.html: Axioms.v Params.html NSyntax.html |