# HG changeset patch
# User wenzelm
# Date 1193246499 -7200
# Node ID 7e1f197a36c539bcc11697a54a01bf894bdd6357
# Parent  ad25033f9ca4f278f8a183a1b8e59ffa1d8af3fa
fixed HOL-Statespace for case-sensitive file-system;

diff -r ad25033f9ca4 -r 7e1f197a36c5 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Oct 24 19:21:38 2007 +0200
+++ b/src/HOL/IsaMakefile	Wed Oct 24 19:21:39 2007 +0200
@@ -852,7 +852,7 @@
 
 $(LOG)/HOL-Statespace.gz: $(OUT)/HOL Statespace/DistinctTreeProver.thy \
   Statespace/StateFun.thy Statespace/StateSpaceLocale.thy \
-  Statespace/StateSpaceSyntax.thy StateSpace/StateSpaceEx.thy \
+  Statespace/StateSpaceSyntax.thy Statespace/StateSpaceEx.thy \
   Statespace/distinct_tree_prover.ML Statespace/state_space.ML \
   Statespace/state_fun.ML \
   Statespace/document/root.tex