# HG changeset patch
# User urbanc
# Date 1204634145 -3600
# Node ID 8292f8723e99b7e03530926f64221b880d219aaf
# Parent  b9763c3272cb852a4073b4bcc2101016277ffaae
added new example

diff -r b9763c3272cb -r 8292f8723e99 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Mar 03 15:37:16 2008 +0100
+++ b/src/HOL/IsaMakefile	Tue Mar 04 13:35:45 2008 +0100
@@ -825,6 +825,7 @@
   Nominal/Examples/SOS.thy \
   Nominal/Examples/Support.thy \
   Nominal/Examples/VC_Condition.thy \
+  Nominal/Examples/W.thy \
   Nominal/Examples/Weakening.thy
 	@cd Nominal; $(ISATOOL) usedir $(OUT)/HOL-Nominal Examples
 
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