diff -r b9763c3272cb -r 8292f8723e99 src/HOL/Nominal/Examples/W.thy
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Nominal/Examples/W.thy	Tue Mar 04 13:35:45 2008 +0100
@@ -0,0 +1,9 @@
+(* "$Id$" *)
+
+theory W
+imports "Nominal"
+begin
+
+text {* stub until a cleaned-up version will appear here *}
+
+end