--- 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