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