
diff -r 9728f319ffc6 -r e43d91f31118 src/HOL/Nominal/Examples/VC_Condition.thy
--- a/src/HOL/Nominal/Examples/VC_Condition.thy	Thu Dec 20 13:31:30 2007 +0100
+++ b/src/HOL/Nominal/Examples/VC_Condition.thy	Thu Dec 20 13:58:45 2007 +0100
@@ -1,6 +1,6 @@
 (* $Id$ *)
 
-theory VC_Compatible
+theory VC_Condition
 imports "../Nominal" 
 begin
 




