# HG changeset patch
# User urbanc
# Date 1191820169 -7200
# Node ID 799ca514244fc4cbea299368f55bec2f97aaf8ec
# Parent  b0a93a6d6ab9a6d2a8c1f6b336497d5901c30ea0
changed VC-Compatible to VC_Compatible

diff -r b0a93a6d6ab9 -r 799ca514244f src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Oct 08 07:05:54 2007 +0200
+++ b/src/HOL/IsaMakefile	Mon Oct 08 07:09:29 2007 +0200
@@ -807,7 +807,7 @@
   Nominal/Examples/SOS.thy \
   Nominal/Examples/LocalWeakening.thy \
   Nominal/Examples/Support.thy \
-  Nominal/Examples/VC-Compatible.thy
+  Nominal/Examples/VC_Compatible.thy
 	@cd Nominal; $(ISATOOL) usedir $(OUT)/HOL-Nominal Examples