From 40183da6b54d8deef242bac074079617d4a657c2 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 21 Jan 2000 18:42:22 +0000
Subject: gros commit de tout ce que j'ai fait pendant les vacances :  -
 tactics/Equality  - debug du discharge  - constr_of_compattern implante vite
 fait / mal fait en attendant mieux  - theories/Logic (ne passe pas
 entierrement)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@280 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 states/.cvsignore    | 1 +
 states/MakeInitial.v | 4 ++++
 2 files changed, 5 insertions(+)
 create mode 100644 states/MakeInitial.v

(limited to 'states')

diff --git a/states/.cvsignore b/states/.cvsignore
index ffd00ec562..ccc79cdf73 100644
--- a/states/.cvsignore
+++ b/states/.cvsignore
@@ -1 +1,2 @@
 barestate.coq
+initial.coq
diff --git a/states/MakeInitial.v b/states/MakeInitial.v
new file mode 100644
index 0000000000..73ad27a0d6
--- /dev/null
+++ b/states/MakeInitial.v
@@ -0,0 +1,4 @@
+Require Prelude.
+Require Logic_Type.
+Require Logic_TypeSyntax.
+Require Equality.
-- 
cgit v1.2.3