# HG changeset patch
# User huffman
# Date 1258663105 28800
# Node ID aa5cf0de15034da6839762220d9f67feb8751850
# Parent  364bc92ba08165206eb9e025a78693d89f5a0558
add dependency on domain_isomorphism.ML

diff -r 364bc92ba081 -r aa5cf0de1503 src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Thu Nov 19 12:38:02 2009 -0800
+++ b/src/HOLCF/IsaMakefile	Thu Nov 19 12:38:25 2009 -0800
@@ -65,6 +65,7 @@
   Tools/cont_proc.ML \
   Tools/Domain/domain_extender.ML \
   Tools/Domain/domain_axioms.ML \
+  Tools/Domain/domain_isomorphism.ML \
   Tools/Domain/domain_library.ML \
   Tools/Domain/domain_syntax.ML \
   Tools/Domain/domain_theorems.ML \