# HG changeset patch
# User huffman
# Date 1117837342 -7200
# Node ID 613183ac1fa09966b9042cb9821b7695a98cf7ab
# Parent  879400e029bfaa67fde024185902d489ae8b8d1b
add Fixrec.thy

diff -r 879400e029bf -r 613183ac1fa0 src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Sat Jun 04 00:22:08 2005 +0200
+++ b/src/HOLCF/IsaMakefile	Sat Jun 04 00:22:22 2005 +0200
@@ -29,8 +29,8 @@
 
 $(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 Ffun.ML \
-  Ffun.thy HOLCF.ML HOLCF.thy Lift.ML \
+  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 \