# HG changeset patch
# User wenzelm
# Date 1129751556 -7200
# Node ID 75b68d36b787434e882a113b760c2b45127e173f
# Parent  18c66ca0c7764fb1af5508ef30d05ffb6315172c
removed obsolete domain/interface.ML, IOA/meta_theory/ioa_package.ML;

diff -r 18c66ca0c776 -r 75b68d36b787 src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Wed Oct 19 21:52:35 2005 +0200
+++ b/src/HOLCF/IsaMakefile	Wed Oct 19 21:52:36 2005 +0200
@@ -27,19 +27,15 @@
 HOL:
 	@cd $(SRC)/HOL; $(ISATOOL) make HOL
 
-$(OUT)/HOLCF: $(OUT)/HOL Adm.thy Cfun.ML Cfun.thy \
-  Cont.ML Cont.thy Cprod.ML Cprod.thy \
-  Discrete.thy Domain.thy Fix.ML Fix.thy Fixrec.thy \
-  Ffun.ML Ffun.thy HOLCF.ML HOLCF.thy Lift.ML \
-  Lift.thy One.ML One.thy Pcpo.ML Pcpo.thy Porder.ML Porder.thy \
-  ROOT.ML Sprod.ML Sprod.thy \
-  Ssum.ML Ssum.thy \
-  Tr.ML Tr.thy Up.ML \
-  Pcpodef.thy pcpodef_package.ML \
-  Up.thy adm_tac.ML cont_consts.ML cont_proc.ML fixrec_package.ML \
-  domain/axioms.ML domain/extender.ML domain/interface.ML \
-  domain/library.ML domain/syntax.ML domain/theorems.ML holcf_logic.ML \
-  ex/Stream.thy document/root.tex
+$(OUT)/HOLCF: $(OUT)/HOL Adm.thy Cfun.ML Cfun.thy Cont.ML Cont.thy	\
+  Cprod.ML Cprod.thy Discrete.thy Domain.thy Fix.ML Fix.thy Fixrec.thy	\
+  Ffun.ML Ffun.thy HOLCF.ML HOLCF.thy Lift.ML Lift.thy One.ML One.thy	\
+  Pcpo.ML Pcpo.thy Porder.ML Porder.thy ROOT.ML Sprod.ML Sprod.thy	\
+  Ssum.ML Ssum.thy Tr.ML Tr.thy Up.ML Pcpodef.thy pcpodef_package.ML	\
+  Up.thy adm_tac.ML cont_consts.ML cont_proc.ML fixrec_package.ML	\
+  domain/axioms.ML domain/extender.ML domain/library.ML			\
+  domain/syntax.ML domain/theorems.ML holcf_logic.ML ex/Stream.thy	\
+  document/root.tex
 	@$(ISATOOL) usedir -b -g true -r $(OUT)/HOL HOLCF
 
 
@@ -99,7 +95,7 @@
   IOA/meta_theory/Abstraction.ML \
   IOA/meta_theory/Simulations.thy IOA/meta_theory/Simulations.ML \
   IOA/meta_theory/SimCorrectness.thy IOA/meta_theory/SimCorrectness.ML \
-  IOA/meta_theory/ioa_syn.ML IOA/meta_theory/ioa_package.ML 
+  IOA/meta_theory/ioa_package.ML 
 	@cd IOA; $(ISATOOL) usedir -b $(OUT)/HOLCF IOA