# HG changeset patch
# User lcp
# Date 797159355 -7200
# Node ID 79d316b160fa98c8067439d0bfb9ccd0ee893ef8
# Parent  f505385d9e32b35bcdc8f177e06464fdc57cb034
Corrected many errors in the dependencies.

diff -r f505385d9e32 -r 79d316b160fa src/FOLP/Makefile
--- a/src/FOLP/Makefile	Thu Apr 06 11:07:18 1995 +0200
+++ b/src/FOLP/Makefile	Thu Apr 06 11:09:15 1995 +0200
@@ -1,3 +1,4 @@
+#  $Id$
 #########################################################################
 #									#
 # 			Makefile for Isabelle (FOLP)			#
@@ -19,7 +20,7 @@
 BIN = $(ISABELLEBIN)
 COMP = $(ISABELLECOMP)
 FILES =  ROOT.ML IFOLP.thy IFOLP.ML FOLP.thy FOLP.ML intprover.ML simpdata.ML\
-	 classical.ML ../Provers/simp.ML ../Provers/ind.ML
+	 hypsubst.ML classical.ML simp.ML 
 
 EX_FILES = ex/ROOT.ML ex/cla.ML ex/foundn.ML ex/If.ML ex/If.thy ex/int.ML\
 	   ex/intro.ML ex/Nat.ML ex/Nat.thy ex/Prolog.ML ex/Prolog.thy\