--- a/src/HOLCF/IsaMakefile Tue Jun 14 03:35:15 2005 +0200
+++ b/src/HOLCF/IsaMakefile Tue Jun 14 03:50:20 2005 +0200
@@ -35,7 +35,7 @@
ROOT.ML Sprod.ML Sprod.thy \
Ssum.ML Ssum.thy \
Tr.ML Tr.thy TypedefPcpo.thy Up.ML \
- Up.thy adm_tac.ML cont_consts.ML fixrec_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