From 0fcc39da6de055e2eb8e7105542f67d7f1648146 Mon Sep 17 00:00:00 2001 From: herbelin Date: Thu, 16 May 2002 10:42:45 +0000 Subject: Ajout Peano_dec et Compare_dec git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2698 85f007b7-540e-0410-9357-904b9bb8a0f7 --- theories/Arith/Arith.v | 2 ++ 1 file changed, 2 insertions(+) diff --git a/theories/Arith/Arith.v b/theories/Arith/Arith.v index 80c29c395..b00d155ba 100755 --- a/theories/Arith/Arith.v +++ b/theories/Arith/Arith.v @@ -16,6 +16,8 @@ Require Export Minus. Require Export Mult. Require Export Between. Require Export Minus. +Require Export Peano_dec. +Require Export Compare_dec. Axiom My_special_variable : nat -> nat. -- cgit v1.2.3