--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/SPARK/Examples/README	Sat Jan 15 12:35:29 2011 +0100
@@ -0,0 +1,3 @@
+The copyright notice contained in the *.siv, *.fdl, and *.rls files in
+the example subdirectories refers to the tools that have been used to
+generate the files, but not to the files themselves.