From cbb66123625e44bf35a5dc3c2621a94589111304 Mon Sep 17 00:00:00 2001
From: mohring <mohring@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 26 Mar 2001 16:18:23 +0000
Subject: Bibliotheque Num

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1491 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/Num/Leibniz/.depend | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 theories/Num/Leibniz/.depend

(limited to 'theories/Num/Leibniz/.depend')

diff --git a/theories/Num/Leibniz/.depend b/theories/Num/Leibniz/.depend
new file mode 100644
index 000000000..b6ddc78aa
--- /dev/null
+++ b/theories/Num/Leibniz/.depend
@@ -0,0 +1,9 @@
+Params.vo: Params.v
+Params.vi: Params.v
+NSyntax.vo: NSyntax.v Params.vo
+NSyntax.vi: NSyntax.v Params.vo
+EqAxioms.vo: EqAxioms.v NSyntax.vo
+EqAxioms.vi: EqAxioms.v NSyntax.vo
+Params.html: Params.v
+NSyntax.html: NSyntax.v Params.html
+EqAxioms.html: EqAxioms.v NSyntax.html
-- 
cgit v1.2.3